Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953): Difference between revisions

@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485810
@@ Property / cites work: Q4485810 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Petri Nets
@@ Property / cites work: Stochastic Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. Petri nets.
@@ Property / cites work: Theoretical computer science. Petri nets. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5290928
@@ Property / cites work: Q5290928 / rank @@
+Normal rank