Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I [Elektronische Ressource]
Lecture Notes in Computer Science : 6415
2010
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II [Elektronische Ressource]
Lecture Notes in Computer Science : 6416
2010
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II [Elektronische Ressource]
2014
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
Autor / AutorinPandu Rangan, C
Autor / AutorinSinner, Dominik.
Sprachefra
SpracheDeutsch
Autor / AutorinMargaria, Tiziana
Autor / AutorinSteffen, Bernhard
Suchergebnisse filtern
Filter anzeigen