Antonio Moreno-Delgado, Francisco Durán, José Meseguer
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications
WRLA, 2016.
@inproceedings{WRLA-2016-Moreno-DelgadoD,
author = "Antonio Moreno-Delgado and Francisco Durán and José Meseguer",
booktitle = "{Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications}",
doi = "10.1007/978-3-319-44802-2_7",
isbn = "978-3-319-44801-5",
pages = "118--133",
publisher = "{Springer}",
title = "{Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications}",
year = 2016,
}