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
Benedikt Wolters
◀
▶
joint publications with
Kai Driessen
Dagstuhl
Trier 1
Trier 2
>
Home
>
Persons
>
Benedikt Wolters
>
Home
>
Persons
>
Kai Driessen
Publications
2016
[j1]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/isf/NellenDNAW16
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/isf/NellenDNAW16
Johanna Nellen
,
Kai Driessen
,
Martin R. Neuhäußer
,
Erika Ábrahám
,
Benedikt Wolters
:
Two CEGAR-based approaches for the safety verification of PLC-controlled plants.
Information Systems Frontiers
18
(
5
)
:
927-952
(
2016
)
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