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

  8. 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

  9. Larsen, Kim G. [VerfasserIn] ; Nielsen, Mogens [Sonstige Person, Familie und Körperschaft]

    CONCUR 2001 — Concurrency Theory : 12th International Conference Aalborg, Denmark, August 20–25, 2001 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, 2001

    Erschienen in: Lecture notes in computer science ; 2154

  10. Larsen, Kim G. [VerfasserIn] ; Skyum, Sven [Sonstige Person, Familie und Körperschaft]; Winskel, Glynn [Sonstige Person, Familie und Körperschaft]

    Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, 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 Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1443

  11. Larsen, Kim G. [VerfasserIn] ; Skou, Arne [Sonstige Person, Familie und Körperschaft]

    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, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 575

  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. Margaria, Tiziana [HerausgeberIn]; Graf, Susanne [HerausgeberIn]; Larsen, Kim G. [HerausgeberIn]

    Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - [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: Theoretical Computer Science and General Issues ; 11200- Springer eBooks ; Computer Science

  14. 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

  15. 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