Improved BDD-Based Discrete Analysis of Timed Systems
From MaRDI portal
Publication:4647854
DOI10.1007/978-3-642-32759-9_28zbMath1372.68175MaRDI QIDQ4647854
Yan Liu, Yang Liu, Jun Sun, Jin-Song Dong, Truong Khanh Nguyen
Publication date: 8 November 2012
Published in: FM 2012: Formal Methods (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10072/172909
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software