作　　者：Tobias Heindel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;32:26-41.doi:10.4204/EPTCS.32.3

出 版 社：Open Publishing Association

文 章 ID：83119991

作　　者：Andrei Dorman ;Tobias Heindel

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:37-51.doi:10.4204/EPTCS.59.4

出 版 社：Open Publishing Association

文 章 ID：83120215

作　　者：Tobias Heindel ;Vincent Danos ;Ricardo Honorato-Zimmer 等

出　　处：Electronic Communications of the EASST. 2014 ;68(0).

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465783

作　　者：Pawel Sobocinski ;Tobias Heindel

出　　处：Logical Methods in Computer Science. 2011 ;7(01).

出 版 社：Technical University of Braunschweig

文 章 ID：49467271

作　　者：Alexander Schlehahn ;Sarah Fischbach ;Ronny Schmidt 等

出　　处：Scientific Reports. 2018 ;8(1):1340.doi:10.1038/s41598-017-19049-4

出 版 社：Springer Nature

文 章 ID：230255192

作　　者：Benjamin Cabrera ;Tobias Heindel ;Reiko Heckel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.27

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：230213339