Number of the records: 1
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
SYS 0422139 LBL 00240nx^^^22001213^^450 005 20170829131811.2 010 $a 978-3-939897-23-1 100 $a 20140103aczey0103 ba 102 $a DE 110 $a a 200 1-
$a IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 205 $a 1. 210 $a Wadem $c Schloss Dagstuhl, Leibniz-Zentrum für Informatik $d 2010 225 $a Leibniz International Proceedings in Informatics $v vol. 8 702 -1
$a Lodaya $b K. $4 340 702 -1
$a Mahajan $b M $4 340 801 $a CZ $b CAV $c 20140103
Number of the records: 1