Abstract Probabilistic Automata (Q3075492): Difference between revisions

@@ Property / author @@
-Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
-Normal rank
@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
+Joost-Pieter Katoen
@@ Property / author: Joost-Pieter Katoen / rank @@
+Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57801213
@@ Property / Wikidata QID: Q57801213 / 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/978-3-642-18275-4_23
+Normal rank
@@ Property / OpenAlex ID @@
+W3137368705
@@ Property / OpenAlex ID: W3137368705 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
+Normal rank
@@ Property / cites work @@
+Analyzing security protocols using time-bounded task-PIOAs
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Switched PIOA: parallel composition via distributed scheduling
+Normal rank
@@ Property / cites work @@
+A testing scenario for probabilistic processes
@@ Property / cites work: A testing scenario for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Extension of UML Statecharts
@@ Property / cites work: A Probabilistic Extension of UML Statecharts / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction for Stochastic Systems
@@ Property / cites work: Compositional Abstraction for Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Probability and Nondeterminism in Operational Models of Concurrency
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3075492