Verifying automata specification of distributed probabilistic real-time systems (Q1273079): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity of Generalized Semi-Markov Processes
@@ Property / cites work: Continuity of Generalized Semi-Markov Processes / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1273079