Вы здесь

Huth M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Modal Transition Systems: A Foundation for Three-Valued Program Analysis 2001 Huth M., Jagadeesan R., Schmidt D. Lecture Notes in Computer Science 28.04.2001
СТ Assume-Guarantee Model Checking of Software: A Comparative Case Study 1999 Pasareanu C. S., Dwyer M. B., Huth M. Lecture Notes in Computer Science 26.10.1999
СТ A Duality Theory for Quantitative Semantics 1998 Heckmann R., Huth M. Lecture Notes in Computer Science 19.06.1998