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
Model checking
[6. print.], [2006]
Signatur: TWQ9679
    Datensatz exportieren als...
  • BibTeX
Model checking
The cyber-physical systems series
second edition, 2018
Signatur: TWQ9679(2)
    Datensatz exportieren als...
  • BibTeX
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5779
2009
    Datensatz exportieren als...
  • BibTeX
Time for Verification : Essays in Memory of Amir Pnueli [Elektronische Ressource]
Lecture Notes in Computer Science : 6200
2010
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Formal Techniques for Networked and Distributed Systems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings [Elektronische Ressource]
2002
    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
    Datensatz exportieren als...
  • BibTeX
Computer-aided verification : 11th International Conference, Cav '99, Trento, Italy, July 6-1-10, 1999 : proceedings
1st ed. 1999, [1999]
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [electronic resource]
1st ed. 2005, 2005
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings [electronic resource]
1st ed. 2008, 2008
    Datensatz exportieren als...
  • BibTeX
Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers [Elektronische Ressource]
2009
1 – 12 von 12
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen