Joseph J. Kott

According to our database, Joseph J. Kott authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report).

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen

Proceedings of the Pulling Together, 1997