Skip to contents

  1. Fang, Lijun [Other]; Zhang, Zikang [Editor] ; Jin ri mei shu guan

    Fang Lijun

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Peking]: Today Art Museum, [2006]

  2. Vojnar, Tomáš [Author] ; Zhang, Lijun [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

  3. Vojnar, Tomáš [Author] ; Zhang, Lijun [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

  4. Pang, Jun [Editor]; Zhang, Lijun [Editor]

    Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings - [1st ed. 2020.]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Programming and Software Engineering ; 12153- Springer eBook Collection

  5. Vojnar, Tomáš [Editor]; Zhang, Lijun [Editor] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, [2019]

    Published in: Lecture notes in computer science ; 1142700

  6. Vojnar, Tomáš [Editor]; Zhang, Lijun [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

    Published in: Lecture Notes in Computer Science

  7. Vojnar, Tomáš [Editor]; Zhang, Lijun [Editor] ; TACAS 25. 2019 Prag, ETAPS 22. 2019 Prag

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, [2019]

    Published in: Lecture notes in computer science ; 1142800

  8. Vojnar, Tomáš [Editor]; Zhang, Lijun [Editor]

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: Springer Nature, 2019

    Published in: Lecture Notes in Computer Science

  9. Sher, Falak [Author] ; Katoen, Joost-Pieter [Degree supervisor]; Zhang, Lijun [Degree supervisor]

    Abstraction and refinement of probabilistic automata using modal stochastic games

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2015

    Published in: Aachener Informatik-Berichte ; 2015,10