Badouel, Eric.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Petri net synthesis by: Badouel, Eric.; Bernardinello, Luca.; Darondeau, Philippe.; SpringerLink (Online service) (Language materials, printed)

Petri Net Synthesis by: Darondeau, Philippe.; SpringerLink (Online service); Bernardinello, Luca.; Badouel, Eric. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Mathematical logic. Computer science—Mathematics. Software Engineering/Programming and Operating Systems. Mathematics of Computing. Computer Science. Petri nets. Mathematical Logic and Foundations. Software engineering. Theory of Computation. Computers.