@inproceedings{FASE-2001-OlveczkyKMTZ,
author = "Peter Csaba Ölveczky and Mark Keaton and José Meseguer and Carolyn L. Talcott and Steve Zabele",
booktitle = "{Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/3-540-45314-8_24",
isbn = "3-540-41863-6",
pages = "333--348",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude}",
volume = 2029,
year = 2001,
}
Tags: