scientific article; zbMATH DE number 1798187
From MaRDI portal
Publication:4553260
zbMath0996.68106MaRDI QIDQ4553260
Tamir Heyman, Assaf Schuster, Orna Grumberg
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Permissive strategies: from parity games to safety games ⋮ Dealing with practical limitations of distributed timed model checking for timed automata ⋮ CTL model checking on a shared-memory architecture
This page was built for publication:
