Author:
Jensen Nicolaj Ø.,Jensen Peter G.,Larsen Kim G.
Publisher
Springer Nature Singapore
Reference19 articles.
1. Arcile, J., André, É.: Zone extrapolations in parametric timed automata. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NASA Formal Methods. NFM 2022. LNCS, vol. 13260, pp. 451–469. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-06773-0_24
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;G Behrmann,2003
4. Behrmann, G., Bouyer, P., Larsen, K.G., Pelánek, R.: Lower and upper bounds in zone based abstractions of timed automata. In: Jensen, K., Podelski, A. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 312–326. Springer, Berlin (2004). https://doi.org/10.1007/s10009-005-0190-0
5. Lecture Notes in Computer Science;J Bengtsson,2004