Abstraction%252C prices and probability in model checking ti…
Abstraction%252C 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.