Back to Search Start Over

Timed Automata: Semantics, Algorithms and Tools

Authors :
Bengtsson, Johan
Yi, Wang
Bengtsson, Johan
Yi, Wang
Publication Year :
2003

Details

Database :
OAIster
Notes :
English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1235006381
Document Type :
Electronic Resource

Tools

Authors Abstract Subjects Details