Hypervolume Approximation in Timed Automata Model Checking
From MaRDI portal
Publication:3510836
DOI10.1007/978-3-540-75454-1_7zbMath1141.68456OpenAlexW1526420012MaRDI QIDQ3510836
A. Olivero, F. Schapachnik, Victor Braberman, Jorge Lucángeli Obes
Publication date: 3 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_7
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
This page was built for publication: Hypervolume Approximation in Timed Automata Model Checking