scientific article; zbMATH DE number 1337727
From MaRDI portal
Publication:4264097
zbMath0930.68063MaRDI QIDQ4264097
Doron A. Peled, Girish S. Bhat
Publication date: 16 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A survey on temporal logics for specifying and verifying real-time systems ⋮ An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
This page was built for publication:
