Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304): Difference between revisions

@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems and abstract state spaces for time Petri nets with stopwatches
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769587
@@ Property / cites work: Q2769587 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Model-Checking: Parameters everywhere
@@ Property / cites work: Real-Time Model-Checking: Parameters everywhere / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric timing analysis for real-time systems
@@ Property / cites work: Parametric timing analysis for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
+Normal rank
@@ Property / cites work @@
+Model-checking for real-time systems
@@ Property / cites work: Model-checking for real-time systems / rank @@
+Normal rank