Compositional verification in linear-time temporal logic
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
1784 LNCS
Pages
344-358
Date Issued
2000
Author(s)
Type
book