Skip to contents

  6. Bhargavan, Karthikeyan; Gunter, Carl A.; Gunter, Elsa L.; Jackson, Michael; Obradovic, Davor; Zave, Pamela

    Lecture Notes in Computer Science: The village telephone system: A case study in formal software engineering

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 1998

    Published in: Lecture Notes in Computer Science

  8. Obradović, Marko; Kovač, Janez; Petrović, Suzana; Lazović, Vladimir; Salatić, Branislav; Ciganović, Jovan; Pjević, Dejan; Milosavljević, Momir; Peruško, Davor

    Laser induced mixing in multilayered Ti/Ta thin film structures

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Springer Science and Business Media LLC, 2018

    Published in: Optical and Quantum Electronics

  10. Obradović, Davor; Gašperšič, Rok; Caserman, Simon; Leonardi, Adrijana; Jamnik, Maja; Podlesek, Zdravko; Seme, Katja; Anderluh, Gregor; Križaj, Igor; Maček, Peter; Butala, Matej

    A Cytolethal Distending Toxin Variant from Aggregatibacter actinomycetemcomitans with an Aberrant CdtB That Lacks the Conserved Catalytic Histidine 160

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Public Library of Science (PLoS), 2016

    Published in: PLOS ONE