10.1007/978-3-642-15643-4_30Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)6252 LNCS371-37
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1109/ICSE.2013.6606751Proceedings - International Conference on Software Engineering1481-1483PCSE
Model checking(MC) techniques attracts attention of computer science for more than 30 years as a way...
10.1007/978-3-642-31424-7_53Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-24559-6_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-40708-6_10Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-02658-4_59Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1109/ISSRE.2011.19Proceedings - International Symposium on Software Reliability Engineering, ISSR...
10.1007/978-3-642-10373-5_22Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-319-06410-9-8Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-24559-6_12Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. During the last two decades, model checking has emerged as an effec-tive system analysis t...
Abstract—Model checking has established as an effective method for automatic system analysis and ver...
Also part of the Lecture Notes in Computer Science book series (LNCS, volume 9960)International audi...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1109/ICSE.2013.6606751Proceedings - International Conference on Software Engineering1481-1483PCSE
Model checking(MC) techniques attracts attention of computer science for more than 30 years as a way...
10.1007/978-3-642-31424-7_53Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-24559-6_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-40708-6_10Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-02658-4_59Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1109/ISSRE.2011.19Proceedings - International Symposium on Software Reliability Engineering, ISSR...
10.1007/978-3-642-10373-5_22Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-319-06410-9-8Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-24559-6_12Lecture Notes in Computer Science (including subseries Lecture Notes in ...
Abstract. During the last two decades, model checking has emerged as an effec-tive system analysis t...
Abstract—Model checking has established as an effective method for automatic system analysis and ver...
Also part of the Lecture Notes in Computer Science book series (LNCS, volume 9960)International audi...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1109/ICSE.2013.6606751Proceedings - International Conference on Software Engineering1481-1483PCSE
Model checking(MC) techniques attracts attention of computer science for more than 30 years as a way...
DOI
Add to ORKG