10.1007/978-3-642-34281-3_26Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7635 LNCS364-38
10.1007/978-3-642-04414-4_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-15763-9_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-10698-9_7Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-73001-9_17Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24412-4_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Part 1: Full PapersInternational audienceRefinement checking plays an important role in system verif...
Refinement checking plays an important role in system verification. This means that the correctness ...
10.1007/978-3-642-32759-9_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24559-6_32Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35656-8_6Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...
A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare too...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-04414-4_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-15763-9_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-10698-9_7Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-21437-0_28Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-73001-9_17Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-540-70545-1_34Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24412-4_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
Part 1: Full PapersInternational audienceRefinement checking plays an important role in system verif...
Refinement checking plays an important role in system verification. This means that the correctness ...
10.1007/978-3-642-32759-9_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-24559-6_32Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-35656-8_6Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-540-78163-9_19Lecture Notes in Computer Science (including subseries Lecture Notes in ...
A set of benchmarks consisting of mCRL2 specifications that can be compared using the ltscompare too...
10.1007/978-3-642-05089-3_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-04414-4_26Lecture Notes in Computer Science (including subseries Lecture Notes in ...
10.1007/978-3-642-15763-9_9Lecture Notes in Computer Science (including subseries Lecture Notes in A...
10.1007/978-3-642-10698-9_7Lecture Notes in Computer Science (including subseries Lecture Notes in A...
DOI
Add to ORKG