"Shigeki Hagihara,Naoki Egawa,Masaya Shimakawa,Naoki Yonezaki","Minimal strongly unsatisfiable subsets of reactive system specifications","the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)","Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)","ACM New York",,,"pp. 629-634",2014,Sept.
"”‹Œ´–ÎŽ÷,�]�ì’¼‹B,“‡�ì�¹–ç,•Ä�è’¼Ž÷","ƒŠƒAƒNƒeƒBƒuƒVƒXƒeƒ€Žd—l‚Ì‹É�¬‹­�[‘«•s”\•”•ªŒvŽZ‚ÉŠÖ‚·‚é�lŽ@","�î•ñ�ˆ—�Šw‰ï‘æ99‰ñƒvƒ�ƒOƒ‰ƒ~ƒ“ƒOŒ¤‹†”­•\‰ï",,,,,,2014,June
"”‹Œ´–ÎŽ÷,�]�ì’¼‹B,“‡�ì�¹–ç,•Ä�è’¼Ž÷","‹­�[‘«•s”\‚ȃŠƒAƒNƒeƒBƒuƒVƒXƒeƒ€Žd—l‚É‚¨‚¯‚錇Š×”͈͂̓Á’è","‘æ20‰ñ ƒ\ƒtƒgƒEƒFƒA�HŠw‚ÌŠî‘bƒ��[ƒNƒVƒ‡ƒbƒv FOSE 2013","ƒ\ƒtƒgƒEƒFƒA�HŠw‚ÌŠî‘bXX, “ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï FOSE 2013","‹ß‘ã‰ÈŠwŽÐ",,,"pp. 143-152",2013,Nov.