scientific article; zbMATH DE number 1534587

zbMath0952.68095MaRDI QIDQ4517373

E. A. Pokozy

Publication date: 21 November 2000

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

zbMATH Keywords

temporal logicPetri netreal-time system

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

This page was built for publication: