( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking

, , и . MIT Press, Cambridge, Mass., (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

M E Hammadeh

James Clarke

Anneliese Clarke

Barbara Clarke

Brian Clarke

 

Другие публикации лиц с тем же именем

Model checking, , и . MIT Press, Cambridge, Mass., (1999)Model checking, и . (1999)An Expressive Verification Framework for State/Event Systems, , , , , , и . CMU-CS-04-145. Computer Science Department, Carnegie Mellon University, (2004)