Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)

Tatiana Rybina; Andrei Voronkov; Matthias Baaz; Johann A Makowsky

Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)

Tatiana Rybina, Andrei Voronkov, Matthias Baaz (Editor), Johann A Makowsky (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CSL
Editors	Matthias Baaz, Johann A Makowsky
Publisher	Springer Nature
Pages	546-573
Number of pages	28
Volume	2803
ISBN (Print)	3-540-40801-0
Publication status	Published - 2003
Event	Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/csl/csl2003.html#RybinaV03http://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/csl/csl2003.html#RybinaV03http://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03

Access to Document

Cite this

@inproceedings{d00676d3823e4ecc8178a5b980544d64,

title = "Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)",

author = "Tatiana Rybina and Andrei Voronkov and Matthias Baaz and Makowsky, {Johann A}",

year = "2003",

language = "English",

isbn = "3-540-40801-0",

volume = "2803",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "546--573",

editor = "Matthias Baaz and Makowsky, {Johann A}",

booktitle = "CSL",

address = "United States",

note = "Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G{\"o}del Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/csl/csl2003.html#RybinaV03http://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/RybinaV03",

}

Rybina, T, Voronkov, A, Baaz, M (ed.) & Makowsky, JA (ed.) 2003, Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). in M Baaz & JA Makowsky (eds), CSL. vol. 2803, Lecture Notes in Computer Science, Springer Nature, pp. 546-573, Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/csl/csl2003.html#RybinaV03>

TY - GEN

T1 - Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)

AU - Rybina, Tatiana

AU - Voronkov, Andrei

A2 - Baaz, Matthias

A2 - Makowsky, Johann A

A2 - Baaz, Matthias

A2 - Makowsky, Johann A

PY - 2003

Y1 - 2003

M3 - Conference contribution

SN - 3-540-40801-0

VL - 2803

T3 - Lecture Notes in Computer Science

SP - 546

EP - 573

BT - CSL

PB - Springer Nature

T2 - Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Y2 - 1 January 1824

ER -