default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Bart Knaack
◁
▶
joint publications with
Dennis Dams
Trier 1
Trier 2
Dagstuhl
>
Home
>
Persons
>
Bart Knaack
>
Home
>
Persons
>
Dennis Dams
Publications
1998
[j1]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/fac/DamsGKK98
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
short URL:
https://dblp.org/rec/journals/fac/DamsGKK98
Dennis Dams
,
Rob Gerth
,
Bart Knaack
,
Ruurd Kuiper
:
Partial-order Reduction Techniques for Real-time Model Checking.
Formal Asp. Comput.
10
(
5-6
)
:
469-482
(
1998
)
maintained by
, founded at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
license
privacy
imprint