On closure under stuttering

DOI10.1007/S00165-002-225-1zbMath1069.68564OpenAlexW2046456520MaRDI QIDQ1423532

Marsha Chechik, Dimitrie O. Păun

Publication date: 7 March 2004

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-002-225-1

zbMATH Keywords

LTLModel-checkingClosure under stutteringEvent-based systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars

This page was built for publication: On closure under stuttering