作　　者：Gidon Ernst ;Gerhard Schellhorn ;Dominik Haneberg 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;102:33-45.doi:10.4204/EPTCS.102.5

出 版 社：Open Publishing Association

文 章 ID：83120645

作　　者：Oleg Travkin ;Heike Wehrheim ;Gerhard Schellhorn

出　　处：Electronic Communications of the EASST. 2013 ;53.

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

文 章 ID：185435828

作　　者：Bogdan Tofan ;Gerhard Schellhorn ;Gidon Ernst 等

出　　处：Electronic Communications of the EASST. 2014 ;66.

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

文 章 ID：185431288

作　　者：Simon Doherty ;Brijesh Dongol ;John Derrick 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;70:35:1-35:17.doi:10.4230/LIPIcs.OPODIS.2016.35

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

文 章 ID：193875244

作　　者：Gerhard Schellhorn

出　　处：Journal of Universal Computer Science. 2008 ;14(12):1929-1948.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186873650

作　　者：Gerhard Schellhorn ;Wolfgang Ahrendt

出　　处：Journal of Universal Computer Science. 1997 ;3(4):377-413.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186873767

作　　者：Gerhard Schellhorn

出　　处：Journal of Universal Computer Science. 2001 ;7(11):952-979.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186875338

作　　者：Wolfgang Reif ;Gerhard Schellhorn ;Tobias Vollmer 等

出　　处：Journal of Universal Computer Science. 2001 ;7(2):194-209.

出 版 社：Graz University of Technology and Know-Center

文 章 ID：186875794