Changes between Version 1 and Version 2 of PublicationsEn
- Timestamp:
- 06/01/10 23:24:58 (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
PublicationsEn
v1 v2 1 1 = Publications in English = #titleheading 2 2 ([wiki:PublicationsJa.ja → Publications in Japanese]) 3 = 2009 = 4 Motohiko Matsuda, Toshiyuki Maeda and Akinori Yonezawa:: 5 '''Towards Design and Implementation of Model Checker for System Software'''[[br]] 6 In ''Proceedings of the 1st International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, January, 2009'' 7 8 = 2008 = 9 3 10 = 2007 = 4 11 Takahiro Kosakai, Toshiyuki Maeda and Akinori Yonezawa::