scientific article; zbMATH DE number 2038754

zbMath1039.68074MaRDI QIDQ4449219

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Publication date: 8 February 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2719/27190776.htm

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

zbMATH Keywords

AutomataTemporal LogicModel Checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Verification of scope-dependent hierarchical state machines ⋮ Visibly pushdown modular games

This page was built for publication: