Skip to contents

  5. Alur, Rajeev [Author]

    Principles of cyber-physical systems

    Books
    Close

    Bookmarks

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

    Cambridge, Massachusetts; London, England: The MIT Press, [2015]

  8. Alur, Rajeev [Other] ; CAV 8 1996 New Brunswick, NJ

    Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 110200

  19. Shi, Lei [Author] ; Lo, Yahui [Other]; Alur, Rajeev [Other]; Loo, Boon Thau [Other]

    Network Traffic Classification by Program Synthesis

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021) -

  20. Jothimurugan, Kishor [Author] ; Chen, Yu [Other]; Alur, Rajeev [Other]; Khanna, Sanjeev [Other]

    Space-efficient Query Evaluation over Probabilistic Event Streams: Q/A Session C - Paper C5.F

    Videos
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

    Published in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020) -