David Y. W. Park
According to our database1,
David Y. W. Park
authored at least 5 papers
between 1998 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
1998
1999
2000
2001
2002
2003
0
1
2
3
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
2002
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002
2000
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Checking properties of safety critical specifications using efficient decision procedures.
Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998