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

András L. Oláh

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

1997
3EEAndrás L. Oláh, Sonia M. Heemstra de Groot: Alternative specification and verification of a periodic state exchange protocol. IEEE/ACM Trans. Netw. 5(4): 525-529 (1997)
1996
2EEAndrás L. Oláh, Sonia M. Heemstra de Groot: Comments on ``Minimum-latency transport protocols with modulo-N incarnation numbers''. IEEE/ACM Trans. Netw. 4(4): 660-666 (1996)
1995
1 András L. Oláh, Sonia M. Heemstra de Groot: Assertional Verification of a Connection Management Protocol. FORTE 1995: 401-416

Coauthor Index

1Sonia M. Heemstra de Groot [1] [2] [3]

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