@inproceedings{JMO93,
title = {Verifying quantitative real-time properties of synchronous programs },
author = {Jourdan, Muriel and Maraninchi, Florence and Olivero, Alfredo},
month = {jun},
year = {1993},
booktitle = {International Conference on Computer-Aided Verification (CAV)},
address = {Elounda},
publisher = {LNCS 697},
team = {SYNC},
}
