Searching for "On the Complexity of the Linear-Time mu -calculus for Petri-Nets." – sorted by Relevance.
-
On the Complexity of the linear-time μ-Calculus for Petri Nets
- On the Complexity of the linear-time -calculus for Petri Nets Peter Habermehl VERIMAG Centre
- Cited by 2 (0 self) – Add To MetaCart

