Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings

Javier Esparza; Rupak Majumdar

Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings

Informatics 7 - Chair of Theoretical Computer Science

University of California

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.
Editors	Javier Esparza, Rupak Majumdar
Publisher	Springer Verlag
ISBN (Print)	3642120016, 9783642120015, 9783642120015
State	Published - 2010
Event	16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010 - Paphos, Cyprus Duration: 20 Mar 2010 → 28 Mar 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6015
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
Country/Territory	Cyprus
City	Paphos
Period	20/03/10 → 28/03/10

Cite this

Esparza, J., & Majumdar, R. (2010). Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings. In J. Esparza, & R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6015). Springer Verlag.

Esparza, Javier ; Majumdar, Rupak. / Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings. Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. editor / Javier Esparza ; Rupak Majumdar. Springer Verlag, 2010. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d7079861b04b4500b90a0b14cf0c72ac,

title = "Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings",

author = "Javier Esparza and Rupak Majumdar",

year = "2010",

language = "English",

isbn = "3642120016",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

editor = "Javier Esparza and Rupak Majumdar",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.",

note = "16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010 ; Conference date: 20-03-2010 Through 28-03-2010",

}

Esparza, J & Majumdar, R 2010, Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings. in J Esparza & R Majumdar (eds), Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6015, Springer Verlag, 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 20/03/10.

Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings. / Esparza, Javier; Majumdar, Rupak.
Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. ed. / Javier Esparza; Rupak Majumdar. Springer Verlag, 2010. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Tools and algorithms for the construction and analysis of systems

T2 - 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010

AU - Esparza, Javier

AU - Majumdar, Rupak

PY - 2010

Y1 - 2010

UR - http://www.scopus.com/inward/record.url?scp=84946408675&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84946408675

SN - 3642120016

SN - 9783642120015

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.

A2 - Esparza, Javier

A2 - Majumdar, Rupak

PB - Springer Verlag

Y2 - 20 March 2010 through 28 March 2010

ER -

Esparza J, Majumdar R. Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings. In Esparza J, Majumdar R, editors, Tools and Algorithms for the Construction and Analysis of Systems - 16th Int. Conf., TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Proc.. Springer Verlag. 2010. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Tools and algorithms for the construction and analysis of systems: 16th international conference, TACAS 2010 held as part of the joint european conferences on theory and practice of software, ETAPS 2010 paphos, cyprus, march 20-28, 2010. proceedings

Publication series

Conference

Other files and links

Cite this