Ahmed Hussain Khan

Publication Activity (10 Years)

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

Publications

Bengt Jonsson, Ahmed Hussain Khan, Joachim Parrow
Implementing a Model Checking Algorithm by Adapting Existing Automated Tools. Automatic Verification Methods for Finite State Systems (1989)