State Space Analysis Using Symmetries on Decision Diagrams
Colange, M., Kordon, F., Thierry-Mieg, Y., Baarir, S.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)
Get full text
Conference Proceeding
Raw Report on the Model Checking Contest at Petri Nets 2012
Kordon, F, Linard, A, Buchs, D, Colange, M, Evangelista, S, Fronc, L, Hillah, L. M, Lohmann, N, Paviot-Adet, E, Pommereau, F, Rohr, C, Thierry-Mieg, Y, Wimmel, H, Wolf, K
Year of Publication 08.09.2012
Year of Publication 08.09.2012
Get full text
Journal Article
Raw Report on the Model Checking Contest at Petri Nets 2012
Kordon, F, Linard, A, Buchs, D, Colange, M, Evangelista, S, Fronc, L, Hillah, L M, Lohmann, N, Paviot-Adet, E, Pommereau, F, Rohr, C, Thierry-Mieg, Y, Wimmel, H, Wolf, K
Published in arXiv.org (08.09.2012)
Get full text
Published in arXiv.org (08.09.2012)
Paper