Polynomial algorithms for the synthesis of bounded nets

Bibliographic Details
Main Author: Badouel, Eric (Author)
Other Involved Persons: Bernardinello, Luca ; Darondeau, Philippe
Format: Book
Language:English
Published: Rennes : IRISA 1994
Series:Institut de Recherche en Informatique et Systèmes Aléatoires. Publications internes 847
Physical Description:27 S.
QR Code: Show QR Code