An edition of Application and Theory of Petri Nets 1997
(1997)
Application and Theory of Petri Nets 1997
18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings (Lecture Notes in Computer Science)
1 edition
by Pierre Azema and Gianfranco Balbo
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Petri nets, Congresses| Edition | Availability |
|---|---|
1
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings (Lecture Notes in Computer Science)
July 11, 1997, Springer
Paperback
in English
- 1 edition
3540631399 9783540631392
|
aaaa
|
Book Details
First Sentence
"Linear-time temporal logic (LTL) is a well-known formalism for specifying properties of concurrent systems."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| August 7, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Created by ImportBot | import existing book |