María E. Villapol

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 EE María E. Villapol, Jonathan Billington: Analysing Properties of the Resource Reservation Protocol. ICATPN 2003: 377-396

1 EE María E. Villapol, Jonathan Billington: A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. CLEI Electron. J. 6(1): (2003)

2003
2	EE	María E. Villapol, Jonathan Billington: Analysing Properties of the Resource Reservation Protocol. ICATPN 2003: 377-396
1	EE	María E. Villapol, Jonathan Billington: A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. CLEI Electron. J. 6(1): (2003)

Coauthor Index

1 Jonathan Billington [1] [2]