Zum Inhalt springen

  1. Larsen, Kim G. [Sonstige Person, Familie und Körperschaft]; Larsen, Kim Guldstrand [HerausgeberIn] ; FORMATS 1 2003 Marseille

    Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 2791

  5. Brinksma, Ed [Sonstige Person, Familie und Körperschaft]; Cleaveland, Walter R. [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]; Margaria-Steffen, Tiziana [HerausgeberIn]; Steffen, Bernhard [HerausgeberIn] ; TACAS 1 1995 Århus

    Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1995

    Erschienen in: Lecture notes in computer science ; 1019

  6. Larsen, Kim Guldstrand [VerfasserIn] ; Niebert, Peter [Sonstige Person, Familie und Körperschaft]

    Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 279100

  7. Groote, Jan Friso [VerfasserIn] ; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

  8. Groote, Jan Friso [VerfasserIn] ; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

  9. Brinksma, Ed [VerfasserIn] ; Larsen, Kim Guldstrand [Sonstige Person, Familie und Körperschaft]

    Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2404

  10. Larsen, Kim Guldstrand [Sonstige Person, Familie und Körperschaft] ; CAV 3 1991 Ålborg

    Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 57500

  11. Larsen, Kim Guldstrand [HerausgeberIn]; Willemse, Tim [HerausgeberIn]

    Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - [1st ed. 2019]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11687- Springer eBooks ; Computer Science

  12. D'Souza, Deepak [VerfasserIn] ; Lal, Akash [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 8931

  13. Groote, Jan Friso [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I - [1st ed. 2021.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12651

  14. Groote, Jan Friso [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

  15. Groote, Jan Friso [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II - [1st ed. 2021.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Theoretical Computer Science and General Issues ; 12652

  16. Groote, Jan Friso [HerausgeberIn]; Larsen, Kim Guldstrand [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

    Erschienen in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

  17. Schwammberger, Maike [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Larsen, Kim Guldstrand [AkademischeR BetreuerIn]

    Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, [2020]

  18. Larsen, Kim Guldstrand [HerausgeberIn]; Sokolsky, Oleg [HerausgeberIn]; Wang, Ji [HerausgeberIn]

    Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10606

  19. Larsen, Kim Guldstrand [HerausgeberIn]; Potapov, Igor [HerausgeberIn]; Srba, Jiří [HerausgeberIn]

    Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9899

  20. Schwammberger, Maike [VerfasserIn] ; Olderog, Ernst-Rüdiger [AkademischeR BetreuerIn]; Larsen, Kim Guldstrand [AkademischeR BetreuerIn]

    Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2020