Changes between Version 1 and Version 2 of PublicationsEn


Ignore:
Timestamp:
06/01/10 23:24:58 (14 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PublicationsEn

    v1 v2  
    11= Publications in English = #titleheading 
    22([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 
    310= 2007 = 
    411 Takahiro Kosakai, Toshiyuki Maeda and Akinori Yonezawa::