Standard
Partial evaluation of Janus part 2 : assertions and procedures. / Mogensen, Torben Ægidius.
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. ed. / Edmund Clarke; Irina Virbitskaite; Andrei Voronkov. Springer, 2012. p. 289-301 (Lecture notes in computer science, Vol. 7162).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 2012,
Partial evaluation of Janus part 2: assertions and procedures. in E Clarke, I Virbitskaite & A Voronkov (eds),
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer, Lecture notes in computer science, vol. 7162, pp. 289-301, 8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, Novosibirsk, Russian Federation,
27/06/2011.
https://doi.org/10.1007/978-3-642-29709-0_25
APA
Mogensen, T. Æ. (2012).
Partial evaluation of Janus part 2: assertions and procedures. In E. Clarke, I. Virbitskaite, & A. Voronkov (Eds.),
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers (pp. 289-301). Springer. Lecture notes in computer science Vol. 7162
https://doi.org/10.1007/978-3-642-29709-0_25
Vancouver
Mogensen TÆ.
Partial evaluation of Janus part 2: assertions and procedures. In Clarke E, Virbitskaite I, Voronkov A, editors, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Springer. 2012. p. 289-301. (Lecture notes in computer science, Vol. 7162).
https://doi.org/10.1007/978-3-642-29709-0_25
Author
Mogensen, Torben Ægidius. / Partial evaluation of Janus part 2 : assertions and procedures. Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. editor / Edmund Clarke ; Irina Virbitskaite ; Andrei Voronkov. Springer, 2012. pp. 289-301 (Lecture notes in computer science, Vol. 7162).
Bibtex
@inproceedings{51375c7c95394eca9c8bbc91564a1a1e,
title = "Partial evaluation of Janus part 2: assertions and procedures",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2012",
doi = "10.1007/978-3-642-29709-0_25",
language = "English",
isbn = "978-3-642-29708-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "289--301",
editor = "Edmund Clarke and Irina Virbitskaite and Andrei Voronkov",
booktitle = "Perspectives of Systems Informatics",
address = "Switzerland",
note = "8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, PSI 2011 ; Conference date: 27-06-2011 Through 01-07-2011",
}
RIS
TY - GEN
T1 - Partial evaluation of Janus part 2
T2 - 8th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics
AU - Mogensen, Torben Ægidius
N1 - Conference code: 8
PY - 2012
Y1 - 2012
U2 - 10.1007/978-3-642-29709-0_25
DO - 10.1007/978-3-642-29709-0_25
M3 - Article in proceedings
SN - 978-3-642-29708-3
T3 - Lecture notes in computer science
SP - 289
EP - 301
BT - Perspectives of Systems Informatics
A2 - Clarke, Edmund
A2 - Virbitskaite, Irina
A2 - Voronkov, Andrei
PB - Springer
Y2 - 27 June 2011 through 1 July 2011
ER -
