Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP release_aohhs265b5gathk2332z7d6k4u

by Iulian Ober

Published in Lecture Notes in Computer Science by Springer International Publishing.

2018   p269-283

Archived Files and Locations

application/pdf  668.8 kB
file_dcboczckk5bgrbk2dktpmshge4
oatao.univ-toulouse.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2018
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 260409a0-ba16-440f-866e-4869fb9193a2
API URL: JSON