Back to Results
First PageMeta Content



Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3
Add to Reading List

Document Date: 2016-01-18 08:43:29


Open Document

File Size: 358,79 KB

Share Result on Facebook
UPDATE