Vyžádat soubor
Reference/citace: DE OLIVEIRA OLIVEIRA, Mateus. MSO logic and the partial order semantics of place/transition-nets. In: LEUCKER, M., RUEDA, C., VALENCIA, F. D., eds. Theoretical Aspects of Computing - ICTAC 2015. Cham: Springer, 2015, s. 368-387. Lecture Notes in Computer Science, 9399. ISBN 978-3-319-25149-3. ISSN 0302-9743
Vyžádané dokumenty: Oliveira2.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.