Author:
Enevoldsen Søren,Larsen Kim Guldstrand,Srba Jiří
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference25 articles.
1. Andersen, H.R.: Model checking and boolean graphs. In: B. Krieg-Brückner (ed.) ESOP ’92, 4th European Symposium on Programming, Rennes, France, February 26–28, 1992, Proceedings, Lecture Notes in Computer Science, vol. 582, pp. 1–19. Springer, New York (1992). https://doi.org/10.1007/3-540-55253-7_1
2. Andersen, H.R.: Model checking and Boolean graphs. Theor. Comput. Sci. 126(1), 3–30 (1994). https://doi.org/10.1016/0304-3975(94)90266-6. http://www.sciencedirect.com/science/article/pii/0304397594902666
3. Cassez, F., David, A., Fleury, E., Larsen, K.G., Lime, D.: Efficient on-the-fly algorithms for the analysis of timed games. In: Proceedings of CONCUR’05, LNCS, vol. 3653, pp. 66–80. Springer, New York (2005). https://doi.org/10.1007/11539452_9
4. Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J.T., Larsen, K.G., Mardare, R.: Parametric Verification of Weighted Systems. In: É. André, G. Frehse (eds.) SynCoP’15, OASIcs, vol. 44, pp. 77–90. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2015)
5. Dalsgaard, A., Enevoldsen, S., Fogh, P., Jensen, L., Jensen, P., Jepsen, T., Kaufmann, I., Larsen, K., Nielsen, S., Olesen, M., Pastva, S., Srba, J.: A distributed fixed-point algorithm for extended dependency graphs. Fund. Inform. 161(4), 351–381 (2018). https://doi.org/10.3233/FI-2018-1707. https://content.iospress.com/articles/fundamenta-informaticae/fi1707
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献