History
1
an:70164405
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Guided synthesis of control programs using UPPAAL (English)
ICDCS Workshop on Distributed System Validation and Verification, E15-E22 (2000).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX
Valid XHTML 1.0 Transitional Valid CSS!