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

G. Bandini

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

2001
2EEG. Bandini, R. F. Lutje Spelberg, Ruud C. M. de Rooij, Hans Toetenel: Application of Parametric Model Checking - The Root Contention Protocol. HICSS 2001
2000
1EEHans Toetenel, R. F. Lutje Spelberg, G. Bandini: Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. RTCSA 2000: 207-214

Coauthor Index

1Ruud C. M. de Rooij [2]
2R. F. Lutje Spelberg [1] [2]
3Hans Toetenel (W. J. Toetenel) [1] [2]

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