
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
₹5,393

21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
by Wojciech Penczek, Andrzej Szalas
Free delivery. Nothing extra to pay at checkout.
This book constitutes the refereed proceedings of the 21st International Symposium on Mathematical Foundations of Computer Science, MFCS '96, held in Crakow, Poland in September 1996. The volume presents 35 revised full papers selected from a total of 95 submissions together with 8 invited papers and 2 abstracts of invited talks.
Description supplied by the publisher.