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

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / 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-540-85778-5_20
+Normal rank
@@ Property / OpenAlex ID @@
+W2148410410
@@ Property / OpenAlex ID: W2148410410 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3543304