Вы здесь
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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Trust and Trustworthy Computing: Proc./6th International Conference, TRUST 2013, London, UK, June 2013 | 2013 | Lecture Notes in Computer Science |
|
23.09.2013 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./13th Intl Conference TACAS 2007, Part of ETAPS 2007. Braga, Portugal, March/April 2007 | 2007 | Lecture Notes in Computer Science |
|
29.04.2007 |