by Couvreur, Jean-Michel, Thierry-Mieg, Yann
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)

by Colange, M., Baarir, S., Kordon, F., Thierry-Mieg, Y.
Published in Applications and Theory of Petri Nets (2011)

by 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)

by Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., Thierry-Mieg, Y.
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)

by Hamez, A., Kordon, F., Thierry-Mieg, Y.
Published in 2007 IEEE International Parallel and Distributed Processing Symposium (01.03.2007)

by 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

by Zhang, Y., Bérard, B., Kordon, F., Thierry-Mieg, Y.
Published in IFAC Proceedings Volumes (2010)

by Berard, B., Haddad, S., Hillah, L.M., Kordon, F., Thierry-Mieg, Y.
Published in 2008 9th International Workshop on Discrete Event Systems (01.05.2008)

by 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)