A Classification of Symbolic Transition Systems
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1770:13--??, 2000
- Url BibtexAuthor : Thomas A. Henzinger, Rupak Majumdar
Title : A Classification of Symbolic Transition Systems
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
