home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Please note:
This is a beta version of the new dblp website.
You can find the
classic dblp view of this page here
.
Ulrich Aßmann
export records as
BibTeX
RDF
XML
RSS
dblp keys
ask others
Google
Google Scholar
MS Academic Search
ACM Digital Library
help us
contact dblp
Trier 2
Trier 1
Dagstuhl
by year
by type
classic-C
classic+C
-- show only --
Books and Theses
Journal Articles
Conference and Workshop Papers
Parts in Books or Collections
Editorship
Reference Works
Informal Publications
'00
'90
2000 – 2009
see FAQ
What is the meaning of the colors in the publication list?
2001
[c1]
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
conf/cav/AsterothBA01
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alexander Asteroth
,
Christel Baier
,
Ulrich Aßmann
:
Model Checking with Formula-Dependent Abstract Models.
CAV 2001
: 155-168
1990 – 1999
see FAQ
What is the meaning of the colors in the publication list?
1992
[b1]
no documents available
export record as
BibTeX
XML
dblp key:
books/infix/Assmann92
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ulrich Aßmann
:
Parallele Modelle für Deduktionssysteme.
DISKI
21, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-21-1
Coauthor Index
see FAQ
What is the meaning of the colors in the coauthor index?
1
Alexander Asteroth
[c1]
2
Christel Baier
[c1]