Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space Werner Damm2,3 , Stefan Disch1 , Hardi Hungar3 , Swen Jacobs4 , Jun Pang2 , Florian Pigorsch1, Christoph Scho
Add to Reading List
Document Date: 2013-01-31 09:31:46
Open Document
File Size: 558,53 KB
Share Result on Facebook