scientific article
From MaRDI portal
Publication:2771064
zbMath0986.68065MaRDI QIDQ2771064
No author found.
Publication date: 3 March 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-person games (91A05) Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (5)
Dealing with practical limitations of distributed timed model checking for timed automata ⋮ CTL model checking on a shared-memory architecture ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributed Verification of Multi-threaded C++ Programs
This page was built for publication:
