Publications
Export 1 results:
Author Title Type [ Year] Filters: Keyword is finite-state system [Clear All Filters]
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.