Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) KITANO SHOICHIRO and KATAYAMA TETSURO,Prototype of a debugging support tool using reproduction of the execution by extended Petri-net for Java multi-thread programs,Technical report of IEICE. SS,,"The Institute of Electronics, Information and Communication Engineers",2014-07-02,114,127,141-148,https://cir.nii.ac.jp/crid/1570854177921887232,