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
A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2
Add to Reading List
Document Date: 2012-09-12 07:18:02
Open Document
File Size: 228,61 KB
Share Result on Facebook
Company
Hierarchical Systems /
Language Inc. /
/
Country
France /
/
Event
Reorganization /
/
IndustryTerm
asynchronous product /
succinct systems /
transitions systems /
finite systems /
finite transition systems /
everyday systems /
namely products /
non-flat systems /
transition systems /
sub-systems /
model checking tools /
web services /
/
Organization
Institut f¨ /
/
Person
Ai /
/
/
Position
system designer /
Rt /
guard /
/
Product
Pentax K-x Digital Camera /
/
ProvinceOrState
Tennessee /
/
Technology
simulation /
PSPACE algorithm /
/
SocialTag
Logic in computer science
Model theory
Mathematics
Automata theory
Computer science
Theoretical computer science
Applied mathematics
Bisimulation
A Comparison of Succinctly Represented Finite-state Systems ⋆ Romain Brenguier1 , Stefan G¨oller2 , and Ocan Sankur1 1 2