Changes between Version 2 and Version 3 of PublicationsEn


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

--

Legend:

Unmodified
Added
Removed
Modified

  • PublicationsEn

    v2 v3  
    55 '''Towards Design and Implementation of Model Checker for System Software'''[[br]] 
    66 In ''Proceedings of the 1st International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD 2009), Tokyo, January, 2009'' 
     7 
     8 Toshiyuki Maeda and Akinori Yonezawa:: 
     9 '''Writing an OS Kernel in a Strictly and Statically Typed Language'''[[br]] 
     10 ''Lecture Notes in Computer Science Vol. 5458, pp. 181-197, Springer, 2009.'' 
    711 
    812= 2008 =