![]() |
@article{DBLP:journals/fmsd/AlurCH97,
author = {Rajeev Alur and
Costas Courcoubetis and
Thomas A. Henzinger},
title = {Computing Accumulated Delays in Real-time Systems},
journal = {Formal Methods in System Design},
volume = {11},
number = {2},
year = {1997},
pages = {137-155},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)