Probabilistic timed graph transformation systems (Q1994363): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2018.09.003
@@ Property / DOI: 10.1016/j.jlamp.2018.09.003 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2649084227
@@ Property / OpenAlex ID: W2649084227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4814091
@@ Property / cites work: Q4814091 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Probabilistic Graph Transformation Systems
@@ Property / cites work: Probabilistic Graph Transformation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416073
@@ Property / cites work: Q3416073 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Timed Graph Transformation Systems
@@ Property / cites work: Probabilistic Timed Graph Transformation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129216690
@@ Property / Wikidata QID: Q129216690 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2018.09.003
@@ Property / DOI: 10.1016/J.JLAMP.2018.09.003 / rank @@
+Normal rank