dblp.uni-trier.dewww.uni-trier.de

O. Ligot

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EEJens Bendisposto, Michael Leuschel, O. Ligot, M. Samia: La validation de modèles Event-B avec le plug-in ProB pour RODIN. Technique et Science Informatiques 27(8): 1065-1084 (2008)

Coauthor Index

1Jens Bendisposto [1]
2Michael Leuschel [1]
3M. Samia [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)