Regular Model Checking
Lecture notes in computer science2000pp. 403–418
Citations Over TimeTop 1% of 2000 papers
Related Papers
- → Reachability and Distances under Multiple Changes(2018)4 cited
- → Reachability Analysis of Delta-Notch Lateral Inhibition Using Predicate Abstraction(2002)3 cited
- → Reachability and Distances under Multiple Changes(2018)3 cited
- → Fast Infinite-State Model Checking in Integer-Based Systems(2003)2 cited
- → Approximate Symbolic Reachability of Networks of Transition Systems(2007)1 cited