scientific article

From MaRDI portal

Revision as of 13:31, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2723424

Jump to:navigation, search

zbMath0963.68110MaRDI QIDQ2723424

Orna Grumberg, Doron Bustan

Publication date: 5 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logic model checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (7)

An efficient algorithm for computing bisimulation equivalence ⋮ Applicability of fair simulation ⋮ A space-efficient simulation algorithm on probabilistic automata ⋮ Program verification with interacting analysis plugins ⋮ Simulation relations and applications in formal methods ⋮ A Space-Efficient Probabilistic Simulation Algorithm ⋮ Nested antichains for WS1S

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2723424&oldid=15575609"