Home
People
Teaching
Theses
Research
Highschool Activities
Press
Contact
MOVES
Browsing:
»
Home
»
Archives
Tag Archive | ATVA
Paper accepted
By
Marco Weber
June 15, 2012
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
Post navigation