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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Time for Verification : Essays in Memory of Amir Pnueli [Elektronische Ressource]
Lecture Notes in Computer Science : 6200
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings [Elektronische Ressource]
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic synthesis and verification : prep. for the Tenth International Workshop on Logic and Synthesis in November 2000
The Kluwer international series in engineering and computer science : 654 (Alle Bände)
2002
Signatur: TTQ002613
    Datensatz exportieren als...
  • BibTeX
Formal Methods in Computer-Aided Design : 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings [Elektronische Ressource]
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings [Elektronische Ressource]
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic Verification of Sequential Infinite-State Processes [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unfoldings : A Partial-Order Approach to Model Checking [Elektronische Ressource]
Monographs in Theoretical Computer Science An EATCS Series
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
1 – 25 von 87
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNaor, Moni
Autor / AutorinVoronkov, Andrei
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortLogic design
SchlagwortVerifikation
Suchergebnisse filtern
Filter anzeigen