Abstraction%25252C prices and probability in model checking …
Abstraction%25252C prices and probability in model checking timed automata
Article, Chapter
Authors:
J.K. Berendsen
Published:
2010
We were unable to find direct full text links for this item.