Sharad Sachdev

Publication Activity (10 Years)

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

Publications

Sharad Sachdev, André Trudel
The Formal Specification and Implementation of a Modest First Order Temporal Logic. IEA/AIE (2000)