"Shin-ya Nishizaki,Takuya Ohata","Real-Time Model Checking for Regulatory Compliance","Second International Conference on Advances in Information Technology and Mobile Communication - AIM 2012","Mobile Communication and Power Engineering, Communications in Computer and Information Science","Springer Berlin Heidelberg","Vol. 296",,"pp. 70-77",2013,Jan.
"Ritsuya Ikeda,Takuya Oohata,Shin-ya Nishizaki","Formalization of Broadcast Communication in Process Calculus and Its Model Checking","ICSOFT 2009","Proceedings of the 4th International Conference on Software and Data Technologies","INSTICC Press","Vol. 1",,"pp. 348-352",2009,July