Ban3

Informations sur l'auteur

Michael Lowry

http://pistou.imag.fr/site/author/2963

  
 

Publications de l'auteur

La liste contient 2 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
1997
1
Charles Pecheur.
Michael Lowry, Yves Ledru.
Specification and Verification of the CO4 Distributed Knowledge System Using LOTOS.
Proceedings of the 12th IEEE International Conference on Automated Software Engineering ASE-97 (Incline Village, Nevada, USA), nov 1997. Note: Extended version available as INRIA Research Report~RR-3259.
bibtex/ html
Scientific books and chapter [OS]
1999
2
Christopher Welty, Michael Lowry, Yves Ledru.
Guest Editorial - special issue on ASE'97.
6:327--328, Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
bibtex/ html