Linear temporal logicRefine your research by the most used items
Author / Editor
Document type
Full text accessibility
Full text version
Subject
Highlights
Show items per page
remove all| Title | Authors / Editors | Date | |
|---|---|---|---|
 |
Adding Real-Time Constraints to Synchronised Petri Nets | Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas | 2000 |
