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

Marco Devillers

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

2000
2 Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager: Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods in System Design 16(3): 307-320 (2000)
1997
1 Marco Devillers, W. O. David Griffioen, Olaf Müller: Possibly Infinite Sequences in Theorem Provers: A Comparative Study. TPHOLs 1997: 89-104

Coauthor Index

1W. O. David Griffioen [1] [2]
2Olaf Müller [1]
3Judi Romijn [2]
4Frits W. Vaandrager [2]

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