Linda Christoff
According to our database1,
Linda Christoff
authored at least 3 papers
between 1991 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991