Petri net synthesis

Bibliographic Details
Main Author: Badouel, Eric (Author)
Other Involved Persons: Bernardinello, Luca ; Darondeau, Philippe
Format: Book
Language:English
Published: Berlin Heidelberg [u.a.] : Springer 2015
ISBN:9783662479667
3662479664
9783662479674
3662479672
Series:Texts in theoretical computer science
Physical Description:XIII, 339 S. graph. Darst. 235 mm x 155 mm
Subjects:
Other Editions:Show all 2 Editions
QR Code: Show QR Code