Threaded behavior protocols (Q470016): Difference between revisions

@@ Property / describes a project that uses @@
+Java PathFinder
@@ Property / describes a project that uses: Java PathFinder / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0194-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2097215078
@@ Property / OpenAlex ID: W2097215078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3394898
@@ Property / cites work: Q3394898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking JAVA programs using JAVA PathFinder
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Lazzarini's Lucky Approximation of π
@@ Property / cites work: Lazzarini's Lucky Approximation of π / rank @@
+Normal rank
@@ Property / cites work @@
+Program Compatibility Approaches
@@ Property / cites work: Program Compatibility Approaches / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Q3579033
@@ Property / cites work: Q3579033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470016