Efficient Verification of Timed Automata with BDD-like Data-Structures
Resource
International Journal on Software Tools for Technology Transfer 6 (1): 77-97
Journal
International Journal on Software Tools for Technology Transfer
Journal Volume
6
Journal Issue
1
Pages
77-97
Date Issued
2004-07
Author(s)
Type
journal article
File(s)![Thumbnail Image]()
Loading...
Name
03.pdf
Size
905.05 KB
Format
Adobe PDF
Checksum
(MD5):bdb1111c513a03ee51f32177a2f495a3