S. Pinchinat, H. Marchand, M. Le Borgne. Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Esprit project 22703: Syrf, Octobre 1999.
Sophie Pinchinat
Hervé Marchand
@Misc{pinchinat99b,
Author = {Pinchinat, S. and Marchand, H. and Le Borgne, M.},
Title = {Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem},
BookTitle = {Esprit project 22703: Syrf},
Month = {October},
Year = {1999}
}
Charger la référence EndNote (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.