Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Amir Pnueli; Irina Virbitskaite; Andrei Voronkov

Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Amir Pnueli (Editor), Irina Virbitskaite (Editor), Andrei Voronkov (Editor)

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

Original language	English
Title of host publication	Lecture Notes in Computer Science
Publisher	Springer Nature
Volume	5947
ISBN (Print)	978-3-642-11485-4
Publication status	Published - 2010
Event	Ershov Memorial Conference - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ershov/ershov2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	Ershov Memorial Conference
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ershov/ershov2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006

Cite this

@inproceedings{af914fa0baf548b493cc3cdd5ec84369,

title = "Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers",

author = "Amir Pnueli and Irina Virbitskaite and Andrei Voronkov",

year = "2010",

language = "English",

isbn = "978-3-642-11485-4",

volume = "5947",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

booktitle = "Lecture Notes in Computer Science",

address = "United States",

note = "Ershov Memorial Conference ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ershov/ershov2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ershov/2006",

}

Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. / Pnueli, Amir (Editor); Virbitskaite, Irina (Editor); Voronkov, Andrei (Editor).
Lecture Notes in Computer Science. Vol. 5947 Springer Nature, 2010. (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

A2 - Pnueli, Amir

A2 - Virbitskaite, Irina

A2 - Voronkov, Andrei

PY - 2010

Y1 - 2010

M3 - Conference contribution

SN - 978-3-642-11485-4

VL - 5947

T3 - Lecture Notes in Computer Science

BT - Lecture Notes in Computer Science

PB - Springer Nature

T2 - Ershov Memorial Conference

Y2 - 1 January 1824

ER -