YMCA (Q5262955): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2005.12.108
@@ Property / DOI: 10.1016/j.entcs.2005.12.108 / rank @@
-Normal rank
@@ Property / author @@
-Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
-Normal rank
@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / 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.1016/j.entcs.2005.12.108
+Normal rank
@@ Property / OpenAlex ID @@
+W2154619665
@@ Property / OpenAlex ID: W2154619665 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57801839
@@ Property / Wikidata QID: Q57801839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842864
@@ Property / cites work: Q2842864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703726
@@ Property / cites work: Q2703726 / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of interactive generalized semi-Markov processes
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Process algebra for performance evaluation
@@ Property / cites work: Process algebra for performance evaluation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification styles in distributed systems design and verification
+Normal rank
@@ Property / DBLP publication ID @@
+journals/entcs/BravettiHK06
@@ Property / DBLP publication ID: journals/entcs/BravettiHK06 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2005.12.108
@@ Property / DOI: 10.1016/J.ENTCS.2005.12.108 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5262955