scientific article; zbMATH DE number 465527
From MaRDI portal
Publication:4271922
zbMath0785.68035MaRDI QIDQ4271922
Publication date: 12 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Semantic domains of timed event structures ⋮ Testing equivalences of time Petri nets ⋮ Unnamed Item ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ Metric semantics for true concurrent real time ⋮ Analysis of equivalence relations of event structures with continuous time ⋮ Partial order semantics and read arcs
This page was built for publication:
