• Deutsch
Login

Open Access

  • Home
  • Search
  • Browse
  • Publish/report a document
  • Help

Verifying smart card applications: an ASM approach

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn

    Export metadata

    • BibTeX
    • RIS

    Statistics

    Number of document requests

    Additional Services

    Share in Twitter Search Google Scholar
    Metadaten
    Author:Dominik HanebergORCiDGND, Holger Grandy, Wolfgang ReifORCiDGND, Gerhard SchellhornORCiDGND
    Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/64058
    ISBN:9783540732099OPAC
    ISBN:9783540732105OPAC
    ISSN:0302-9743OPAC
    ISSN:1611-3349OPAC
    Parent Title (English):Lecture Notes in Computer Science
    Publisher:Springer
    Place of publication:Berlin
    Type:Article
    Language:English
    Year of first Publication:2007
    Release Date:2019/10/25
    Volume:4591
    First Page:313
    Last Page:332
    DOI:https://doi.org/10.1007/978-3-540-73210-5_17
    Institutes:Fakultät für Angewandte Informatik
    Fakultät für Angewandte Informatik / Institut für Informatik
    Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
    Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik

    OPUS4 Logo

    • Contact
    • Imprint
    • Sitelinks