A Complete Fragment of Higher-Order Duration mu-Calculus
From BibNetWiki
- @j-LECT-NOTES-COMP-SCI 1974:264--??, 2000
- Url BibtexAuthor : Dimitar P. Guelev
Title : A Complete Fragment of Higher-Order Duration {$\mu$}-Calculus
Publication Type : @j-LECT-NOTES-COMP-SCI -
Address :
Date : 2000
