Peter Csaba Ölveczky, José Meseguer
Specifying real-time systems in rewriting logic
WRLA, 1996.
@article{RWLW-1996-OlveczkyM,
author = "Peter Csaba Ölveczky and José Meseguer",
doi = "10.1016/S1571-0661(04)00044-1",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "284--309",
title = "{Specifying real-time systems in rewriting logic}",
volume = 4,
year = 1996,
}