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
Tevfik Bultan
◀
▶
joint publications with
coauthor community group 2
Trier 2
Trier 1
Dagstuhl
>
Home
>
Persons
>
Tevfik Bultan
Publications
2000
[j5]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/tosem/BultanGL00
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/tosem/BultanGL00
Tevfik Bultan
,
Richard Gerber
,
Christopher League
:
Composite model-checking: verification with type-specific symbolic representations.
ACM Trans. Softw. Eng. Methodol.
9
(
1
)
:
3-50
(
2000
)
1999
[j4]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/toplas/BultanGP99
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/toplas/BultanGP99
Tevfik Bultan
,
Richard Gerber
,
William Pugh
:
Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results.
ACM Trans. Program. Lang. Syst.
21
(
4
)
:
747-789
(
1999
)
1998
[c4]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/issta/BultanGL98
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/conf/issta/BultanGL98
Tevfik Bultan
,
Richard Gerber
,
Christopher League
:
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.
ISSTA
1998
:
113-123
1997
[c3]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/cav/BultanGP97
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/conf/cav/BultanGP97
Tevfik Bultan
,
Richard Gerber
,
William Pugh
:
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.
CAV
1997
:
400-411
1996
[c2]
view
electronic edition @ acm.org
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/issta/BultanFG96
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/conf/issta/BultanFG96
Tevfik Bultan
,
Jeffrey Fischer
,
Richard Gerber
:
Compositional Verification by Model Checking for Counter-Examples.
ISSTA
1996
:
224-238
maintained by
at
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
legal bits