Author:
Jensen Peter G.,Schmid Stefan,Schou Morten K.,Srba Jiří
Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;A Bouajjani,1997
2. Büchi, J.R.: Regular canonical systems. Arch. für mathematische Logik Grundlagenforschung 6(3–4), 91–111 (1964)
3. Lecture Notes in Computer Science;J Esparza,1999
4. Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. In: INFINITY 1997. ENTCS, vol. 9, pp. 27–37. Elsevier (1997)
5. Jensen, P.G., Kristiansen, D., Schmid, S., Schou, M.K., Schrenk, B.C., Srba, J.: AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. In: CoNEXT 2020, p. 474–481. ACM (2020)