The synthesis problem for elementary net systems is NP-complete

Bibliographic Details
Main Author: Badouel, Éric (Author)
Other Involved Persons: Bernardinello, Luca ; Darondeau, Philippe
Format: Book
Language:English
Published: Rennes : IRISA 1995
Series:Institut de Recherche en Informatique et Systèmes Aléatoires. Publications internes 929
Physical Description:14, VI S. graph. Darst.
QR Code: Show QR Code