Formal Modeling and Analysis of Timed Systems: 11th ...
Preview
In: Jurdzinski, M., Nickovic, D. (eds.) FORMATS 2012. LNCS, vol. 7595, pp. 11– 26. Springer, Heidelberg (2012) 2. Akshay, S., Hélouët, L., Jard, C., Reynier, P.-A. : Robustness of time Petri nets under guard enlargement. In: Finkel, A., Leroux, J., ...