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
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 4218 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Model-Based Testing of Reactive Systems : Advanced Lectures [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Elektronische Ressource]
2005
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
Autor / AutorinChin, Wei-Ngan
Autor / AutorinHielscher, Michael
Autor / AutorinNaor, Moni
SchlagwortVerifikation
Suchergebnisse filtern
Filter anzeigen