sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000078579332 | 1 hits
Person
ISNI: 
0000 0000 7857 9332
Name: 
Armin Biere (deutscher Informatiker)
Armin Biere (Duits informaticus)
Armin Biere (German computer scientist)
Armin Biere (informaticien allemand)
Biere, A.
Biere, Armin
Dates: 
1967-
Creation class: 
Language material
Creation role: 
author
contributor
creator
editor
redactor
Related names: 
Gomes, Carla
Gomes, Carla P.
Maaren, Hans van
Nahir, Amir
Nahiredt$, Amir
Universität Karlsruhe
Universität Linz Affiliation (see also from)
Vos, T.E.J. (1971-)
Vos, Tanja
Vos, Tanja Ernestina Jozefina (1971-)
Zhu, Yunshan
Titles: 
case study on different modelling approaches based on model checking verifying numerous versions of the alternating bit protocol with SMV
Combining local and global model checking
Digitaltechnik - eine praxisnahe Einführung
Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen
Effiziente Modellprüfung des [my-Kalküls] mit binären Entscheidungsdiagrammen
Handbook of satisfiability
Hardware and software: verification and testing revised selected papers
HVC 2012
SAT 2006
Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Notes: 
Thesis (doctoral)--Universität Karlsruhe, 1997
Sources: 
VIAF DNB LC NKC NUKAT SUDOC WKD
NLN
NTA