Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Park, David Y. W."'
Publikováno v:
Proceedings of the 5th Symposium: Operating Systems Design & Implementation; 12/ 9/2002, p75-88, 14p
Autor:
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Ravn, Anders P., Rischel, Hans, Park, David Y. W., SkakkebÆk, Jens U., Dill, David L.
Publikováno v:
Formal Techniques in Real-Time & Fault-Tolerant Systems; 1998, p133-142, 10p
Autor:
Park, David Y. W., Skakkebæk, Jens U., Heimdahl, Mats P. E., Czerny, Barbara J., Dill, David L.
Publikováno v:
Proceedings of the Second Workshop: Formal Methods in Software Practice; 3/ 4/1998, p34-43, 10p