Q5090941 (Q5090941): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Asynchronous Programs with Nested Locks
+Normal rank
@@ Property / cites work @@
+Analyzing Asynchronous Programs with Preemption
@@ Property / cites work: Analyzing Asynchronous Programs with Preemption / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results for Well-Structured Transition Systems with Auxiliary Storage
+Normal rank
@@ Property / cites work @@
+Delay-bounded scheduling
@@ Property / cites work: Delay-bounded scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Real-Time Event-Driven Programs
@@ Property / cites work: Analyzing Real-Time Event-Driven Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Perfect Model for Bounded Verification
@@ Property / cites work: A Perfect Model for Bounded Verification / rank @@
+Normal rank
@@ Property / cites work @@
+The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedural analysis of asynchronous programs
@@ Property / cites work: Interprocedural analysis of asynchronous programs / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Multithreaded Programs with Asynchronous Atomic Methods
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank