A Complete Axiomatisation for Timed Automata
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1974:277--??, 2000
- Url BibtexAuthor : Huimin Lin, Wang Yi
Title : A Complete Axiomatisation for Timed Automata
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
