in Logical Methods in Computer Science, ISSN: 0302-9743
Volume: 10, Número: 3, Páginas: 88-99
Conference
37Th International Symposium on Mathematical Foundations of Computer Science 2012, Mfcs 2012, Date: 27 August 2012 through 31 August 2012, Location: Bratislava