HWMCC'12 Call for Model Checkers and Benchmarks
29 views
Skip to first unread message
Armin Biere
Aug 13, 2012, 6:20:49 AM8/13/12
to hwmcc, Martina Seidl, Keijo Heljanko, Siert Wieringa
HWMCC'12 Call for Model Checkers and Benchmarks
Intentions of submission are requested by September 14, 2012.
Final versions of model checkers have to be submitted by the end of September.
For more information see http://fmv.jku.at/hwmcc12.
The HWMCC'12 organizer team
Armin Biere, Keijo Heljanko, Martina Seidl, Siert Wieringa.
Intentions of submission are requested by September 14, 2012.
Final versions of model checkers have to be submitted by the end of September.
For more information see http://fmv.jku.at/hwmcc12.
The HWMCC'12 organizer team
Armin Biere, Keijo Heljanko, Martina Seidl, Siert Wieringa.
Reply all
Reply to author
Forward
0 new messages