Learning to verify branching time properties.

Authors :: Vardhan, Abhay
Viswanathan, Mahesh
Source :: Proceedings of the 20th IEEE/ACM International Conference: Automated Software Engineering; 11/ 7/2005, p325-328, 4p
Publication Year :: 2005

Language :: English
ISBNs :: 9781581139938
Database :: Complementary Index
Journal :: Proceedings of the 20th IEEE/ACM International Conference: Automated Software Engineering
Publication Type :: Conference
Accession number :: 84160342
Full Text :: https://doi.org/10.1145/1101908.1101961