Joseph J. Kott

Publication Activity (10 Years)

Years Active: 1997-1997
Publications (10 Years): 0

Publications

Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James Von Olnhausen
Model-Checking of Real-Time Systems: A Telecommunications Application (Experience Report). ICSE (1997)