Cited By
View all- Ben-Rayana SBozga MBensalem SCombaz J(2016)RTD-FinderProceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 963610.1007/978-3-662-49674-9_23(394-406)Online publication date: 2-Apr-2016
- ter Beek Mde Vink EGnesi SFantechi A(2014)Software product line analysis with mCRL2Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 210.1145/2647908.2655970(78-85)Online publication date: 15-Sep-2014
- Kupferman OPiterman NVardi M(2010)An automata-theoretic approach to infinite-state systemsTime for verification10.5555/1880443.1880454(202-259)Online publication date: 1-Jan-2010
- Show More Cited By