Question-guided stubborn set methods for state properties (Q862861): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-006-0006-1
@@ Property / DOI: 10.1007/s10703-006-0006-1 / rank @@
-Normal rank
@@ Property / author @@
-Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
-Normal rank
@@ Property / author @@
-Q862859
@@ Property / author: Q862859 / rank @@
-Normal rank
@@ Property / author @@
-Antti Valmari
@@ Property / author: Antti Valmari / rank @@
-Normal rank
@@ Property / author @@
+Lars Michael Kristensen
@@ Property / author: Lars Michael Kristensen / rank @@
+Normal rank
@@ Property / author @@
+Karsten Schmidt
@@ Property / author: Karsten Schmidt / rank @@
+Normal rank
@@ Property / author @@
+Antti Valmari
@@ Property / author: Antti Valmari / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zing
@@ Property / describes a project that uses: Zing / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BPEL2PN
@@ Property / describes a project that uses: BPEL2PN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CESAR
@@ Property / describes a project that uses: CESAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LoLA
@@ Property / describes a project that uses: LoLA / 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/s10703-006-0006-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2076703513
@@ Property / OpenAlex ID: W2076703513 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+State space reduction using partial order techniques
+Normal rank
@@ Property / cites work @@
+Q4247286
@@ Property / cites work: Q4247286 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+A partial order approach to branching time logic model checking.
+Normal rank
@@ Property / cites work @@
+Q3684121
@@ Property / cites work: Q3684121 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Relaxed visibility enhances partial order reduction
+Normal rank
@@ Property / cites work @@
+Q2766568
@@ Property / cites work: Q2766568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738472
@@ Property / cites work: Q4738472 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets with individual tokens
@@ Property / cites work: Petri nets with individual tokens / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766586
@@ Property / cites work: Q2766586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037380
@@ Property / cites work: Q4037380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353636
@@ Property / cites work: Q4353636 / rank @@
+Normal rank
@@ Property / cites work @@
+Using partial orders for the efficient verification of deadlock freedom and safety properties
+Normal rank
@@ Property / DOI @@
+.1007/S10703-006-0006-1
@@ Property / DOI: 10.1007/S10703-006-0006-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:862861