Effective recognizability and model checking of reactive fiffo automata

Gregoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'Effective recognizability and model checking of reactive fiffo automata'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science