From EU Projects to a Family of Model Checkers (Q5256356): Difference between revisions

@@ Property / describes a project that uses @@
+COWS
@@ Property / describes a project that uses: COWS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VMC
@@ Property / describes a project that uses: VMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DeltaCCS
@@ Property / describes a project that uses: DeltaCCS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-15545-6_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1678144
@@ Property / OpenAlex ID: W1678144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396636
@@ Property / cites work: Q3396636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A state/event-based model-checking approach for the analysis of abstract system properties
+Normal rank
@@ Property / cites work @@
+Model Checking Value-Passing Modal Specifications
@@ Property / cites work: Model Checking Value-Passing Modal Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 16th European symposium of programming, ESOP 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank