scientific article; zbMATH DE number 2017346

zbMath1027.68960MaRDI QIDQ4439565

Stavros Tripakis

Publication date: 14 December 2003

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

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

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (2)

Model Checking Real-Time Systems ⋮ Checking timed Büchi automata emptiness efficiently

This page was built for publication: