(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 73
Friedmann:2012:RBA
[288] Oliver Friedmann and Martin Lange. Ramsey-based analysis of parity
automata. Lecture Notes in Computer Science, 7214:64–78, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28756-5_6/.
Lengal:2012:VLE
[289] Ondˇrej Lengál, Jiˇrí ˇ Simáček, and Tomáˇs Vojnar. VATA: a library for
efficient manipulation of non-deterministic tree automata. Lecture Notes
in Computer Science, 7214:79–94, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28756-5_7/.
Babiak:2012:LBA
[290] Tomáˇs Babiak, Mojmír Kˇretínsk´y, Vojtěch ˇ Rehák, and Jan Strejček. LTL
to Büchi automata translation: Fast and more deterministic. Lecture
Notes in Computer Science, 7214:95–109, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-28756-5_8/.
Song:2012:PMC
[291] Fu Song and Tayssir Touili. Pushdown model checking for malware detection.
Lecture Notes in Computer Science, 7214:110–125, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28756-5_9/.
Hamlen:2012:AOR
[292] Kevin W. Hamlen, Micah M. Jones, and Meera Sridhar. Aspect-oriented
runtime monitor certification. Lecture Notes in Computer Science, 7214:
126–140, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28756-5_10/.
Lang:2012:PMC
[293] Frédéric Lang and Radu Mateescu. Partial model checking using networks
of labelled transition systems and Boolean equation systems. Lecture
Notes in Computer Science, 7214:141–156, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-28756-5_11/.