Multi-core SCC-Based LTL Model Checking
Book chapter in Lecture Notes in Computer Science (November 2016)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (November 2016)
Article in Software and Systems Modeling (July 2015)
Article in Formal Aspects of Computing (September 1999)