Pauline Kan
According to our database1,
Pauline Kan
authored at least 6 papers
between 1998 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
1998
1999
2000
2001
2002
2003
2004
2005
2006
0
1
2
3
4
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1998
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998
Proceedings of the Computer Safety, 1998
Proceedings of the Algebraic Methodology and Software Technology, 1998