Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Goldilocks and the three specifications Read chapter Read first chapter

1993 | ReviewPaper | Chapter

La Vraie Forme d'un Arbre

Authors : J. Bétréma, A. Zvonkin

Published in: TAPSOFT'93: Theory and Practice of Software Development

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …
previous chapter A propositional dense time logic
next chapter Model checking using net unfoldings
Metadata
Title
La Vraie Forme d'un Arbre
Authors
J. Bétréma
A. Zvonkin
Copyright Year
1993
Publisher
Springer Berlin Heidelberg
Book
TAPSOFT'93: Theory and Practice of Software Development

Print ISBN: 978-3-540-56610-6

Electronic ISBN: 978-3-540-47598-9

Copyright Year: 1993

DOI
https://doi.org/10.1007/3-540-56610-4_92

Premium Partner

    Image Credits