András L. Oláh

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Gergely Seres, Tamás Éltetö, András L. Oláh
Measurement-based simulation model for TCP over ATM. Ann. des Télécommunications 55 (5-6) (2000)
Andrá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) (1997)
András L. Oláh, Sonia M. Heemstra de Groot
incarnation numbers". IEEE/ACM Trans. Netw. 4 (4) (1996)
András L. Oláh, Sonia M. Heemstra de Groot
Assertional Verification of a Connection Management Protocol. FORTE (1995)