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
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings [Elektronische Ressource]
2004
    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
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6371
2010
    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
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6252
2010
    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 – 8 von 8
Suche als RSS-Feed
Aktive Filter
Autor / AutorinMerino, Pedro
SystemstelleWBC
Neu hinzugefügt... in den letzten 3 Monaten
SchlagwortFormale Methode
SchlagwortModel Checking
Suchergebnisse filtern
Filter anzeigen