scientific article; zbMATH DE number 1773082
From MaRDI portal
Publication:4540965
zbMath0989.68074MaRDI QIDQ4540965
Publication date: 28 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2088/20880157
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Eliminating the storage tape in reachability constructions. ⋮ Verification in loosely synchronous queue-connected discrete timed automata.
This page was built for publication:
