Sortiert nach
Clinical and experimental dermatology, 2020-12, Vol.45 (8), p.1003-1010
2020
Link zum Volltext
Value in health, 2022-12, Vol.25 (12), p.S289-S289
2022
Link zum Volltext
Clinical and experimental dermatology, 2020-04
2020
Link zum Volltext
Computer Aided Verification, 2003, p.355-367
2003
Link zum Volltext
Lecture notes in computer science, 2003, p.275-287
2003
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2009, p.209-222
Link zum Volltext
The Brazilian journal of infectious diseases, 2023-10, Vol.27, p.102990
2023
Link zum Volltext
The Brazilian journal of infectious diseases, 2023-10, Vol.27, p.102999
2023
Link zum Volltext
Computer Aided Verification, 2003, p.315-327
2003
Link zum Volltext
Automated Technology for Verification and Analysis, p.108-124
Link zum Volltext
Computer Aided Verification, 2003, p.368-380
2003
Link zum Volltext
The Brazilian journal of infectious diseases, 2022-09, Vol.26, p.102511
2022
Link zum Volltext
The Brazilian journal of infectious diseases, 2023-10, Vol.27, p.103197
2023
Link zum Volltext
The Brazilian journal of infectious diseases, 2023-10, Vol.27, p.103230
2023
Link zum Volltext
Computer Aided Verification, 2003, p.126-140
2003
Link zum Volltext
IEEE transactions on instrumentation and measurement, 2006-08, Vol.55 (4), p.1038-1050
2006
- Link zum Volltext
The Brazilian journal of infectious diseases, 2022-09, Vol.26, p.102459
2022
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2009, p.195-208
Link zum Volltext
Correct Hardware Design and Verification Methods, 2003, p.96-110
2003
Link zum Volltext
Computer Aided Verification, 2003, p.54-66
2003
Link zum Volltext
Archivio di ortopedia e reumatologia, 2012-09, Vol.123 (2), p.17-19
2012
Link zum Volltext
Computer Aided Verification, 2003, p.93-105
2003
Link zum Volltext
Acta Botanica Brasilica, 2009, Vol.23 (3), p.720-728
2009
Link zum Volltext
Formal Methods in Computer-Aided Design, 2002, p.255-289
2002
Link zum Volltext
Aevum, 2010, Vol.84 (1), p.324-326
2010
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Humans
- Software
- Software Engineering
- Model Check
- Theoretical Computing
- Propositional Variable
- Rassegne
- Anti-Bacterial Agents - Pharmacology
- Atomic Formula
- Automata. Abstract Machines. Turing Machines
- Computer Science, Hardware & Architecture
- Conjunctive Normal Form
- Drug Resistance, Microbial
Kollektion
- National Council for the Social Studies Journals
- SpringerLink (Online service)
- SpringerLink Series
- JSTOR
- EZB Free E-Journals
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley Online Library Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals
- Wiley Online Library Full Collection 2018
- NUS Single-Journal Subscriptions
- Taylor & Francis Current Content Access
- IngentaConnect Journals
- IEL
- Taylor & Francis
Zeitschrift / Serie