UB Paderborn / Katalog / Suche / in CDI

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...

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

1, 2001

Volltextzugriff (PDF)

Le versement représentatif de la taxe sur les salaires (V.R.T.S.)

Revue de Science Financiere, 1977-01, Vol.69 (3), p.797-831

Finkel, Gérard

1977

Volltextzugriff (PDF)

Verification of programs with half-duplex communication

Information and computation, 2005-11, Vol.202 (2), p.166-190

2005

Volltextzugriff (PDF)

The ClinSeq Project: piloting large-scale genome sequencing for research in genomic medicine

Genome Research, 2009-09, Vol.19 (9), p.1665-1674

2009

Volltextzugriff (PDF)

Fast LTL to Büchi Automata Translation

Computer Aided Verification, 2001, Vol.2102, p.53-65

2001

Volltextzugriff (PDF)

The clinical and molecular spectrum of QRICH1 associated neurodevelopmental disorder

Human mutation, 2022-02, Vol.43 (2), p.266-282

2022

Volltextzugriff (PDF)

The SLAM Toolkit

Computer Aided Verification, 2001, Vol.2102, p.260-264

2001

Volltextzugriff (PDF)

Pediatric IBD-unclassified Is Less Common than Previously Reported; Results of an 8-Year Audit of the EUROKIDS Registry

Inflammatory bowel diseases, 2015-09, Vol.21 (9), p.2145-2153

2015

Volltextzugriff (PDF)

Parameterized Verification with Automatically Computed Inductive Assertions

Computer Aided Verification, 2001, Vol.2102, p.221-234

2001

Volltextzugriff (PDF)

A BDD-Based Model Checker for Recursive Programs

Computer Aided Verification, 2001, Vol.2102, p.324-336

2001

Volltextzugriff (PDF)

Benefits of Bounded Model Checking at an Industrial Setting

Computer Aided Verification, 2001, Vol.2102, p.436-453

2001

Volltextzugriff (PDF)

Cryptic Xp duplication including the SHOX gene in a woman with 46,X, del(X)(q21.31) and premature ovarian failure

Human reproduction (Oxford), 2008-01, Vol.23 (1), p.222-226

2008

Volltextzugriff (PDF)

The Temporal Logic Sugar

Computer Aided Verification, 2001, Vol.2102, p.363-367

2001

Volltextzugriff (PDF)

Certifying Model Checkers

Computer Aided Verification, 2001, Vol.2102, p.2-13

2001

Volltextzugriff (PDF)

Computer aided verification: 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

2001, 2014

Volltextzugriff (PDF)

Transport of polycyclic aromatic hydrocarbons and polychlorinated biphenyls in a landfill: A novel equilibrium passive sampler to determine free and total dissolved concentrations in leachate water

Journal of hydrology (Amsterdam), 2009-05, Vol.369 (3), p.253-259

2009

Volltextzugriff (PDF)

ICS: Integrated Canonizer and Solver

Computer Aided Verification, 2001, Vol.2102, p.246-249

2001

Volltextzugriff (PDF)

A Practical Approach to Coverage in Model Checking

Computer Aided Verification, 2001, Vol.2102, p.66-78

2001

Volltextzugriff (PDF)

Job-Shop Scheduling Using Timed Automata

Computer Aided Verification, 2001, Vol.2102, p.478-492

2001

Volltextzugriff (PDF)

TReX: A Tool for Reachability Analysis of Complex Systems

Computer Aided Verification, 2001, Vol.2102, p.368-372

2001

Volltextzugriff (PDF)

Microarchitecture Verification by Compositional Model Checking

Computer Aided Verification, 2001, Vol.2102, p.396-410

2001

Volltextzugriff (PDF)

Analysis of Recursive State Machines

Computer Aided Verification, 2001, Vol.2102, p.207-220

2001

Volltextzugriff (PDF)

Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers

Computer Aided Verification, 2001, Vol.2102, p.454-464

2001

Volltextzugriff (PDF)

Unreliable Channels Are Easier to Verify Than Perfect Channels

Information and computation, 1996-01, Vol.124 (1), p.20-31

1996

Volltextzugriff (PDF)

Java Bytecode Verification: An Overview

Computer Aided Verification, 2001, Vol.2102, p.265-285

2001

Volltextzugriff (PDF)

1 – 25 von 68

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(54)
Mit Volltextzugriff
(67)

Publikationsform

Sprache

Englisch
(67)
Französisch
(1)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings

Le versement représentatif de la taxe sur les salaires (V.R.T.S.)

Verification of programs with half-duplex communication

The ClinSeq Project: piloting large-scale genome sequencing for research in genomic medicine

Fast LTL to Büchi Automata Translation

The clinical and molecular spectrum of QRICH1 associated neurodevelopmental disorder

The SLAM Toolkit

Pediatric IBD-unclassified Is Less Common than Previously Reported; Results of an 8-Year Audit of the EUROKIDS Registry

Parameterized Verification with Automatically Computed Inductive Assertions

A BDD-Based Model Checker for Recursive Programs

Benefits of Bounded Model Checking at an Industrial Setting

Cryptic Xp duplication including the SHOX gene in a woman with 46,X, del(X)(q21.31) and premature ovarian failure

The Temporal Logic Sugar

Certifying Model Checkers

Computer aided verification: 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings

Transport of polycyclic aromatic hydrocarbons and polychlorinated biphenyls in a landfill: A novel equilibrium passive sampler to determine free and total dissolved concentrations in leachate water

ICS: Integrated Canonizer and Solver

A Practical Approach to Coverage in Model Checking

Job-Shop Scheduling Using Timed Automata

TReX: A Tool for Reachability Analysis of Complex Systems

Microarchitecture Verification by Compositional Model Checking

Analysis of Recursive State Machines

Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers

Unreliable Channels Are Easier to Verify Than Perfect Channels

Java Bytecode Verification: An Overview

Suchergebnisse filtern