Вы здесь
Chechik M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN | 2001 | Chechik M., Devereux B., Gurfinkel A. | Lecture Notes in Computer Science | 14.06.2001 | |||
| СТ | Formal Modeling in a Commercial Setting: A Case Study | 1999 | Wong A., Chechik M. | Lecture Notes in Computer Science | 30.10.1999 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verified Software: Theories, Tools, and Experiments: Revised Selected Papers/8th Internayional Conference, VSTTE 2016, Toronto,ON,Canada, July 2016 | 2016 | Lecture Notes in Computer Science |
|
24.01.2017 | |||
| СБ | Tools and Algorithms for the Construction and Analysis of Systems: Proc./22nd International Conference, TACAS 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016 | 2016 | Lecture Notes in Computer Science |
|
16.06.2016 | |||
| СБ | Fundamntal Approaches to Software Engineering: Proc./12th International Conference, EASE 2009, ETAPS 2009, York, UK, March 2009 | 2009 | Lecture Notes in Computer Science |
|
15.05.2009 | |||
| СБ | CONCUR 2008 - Concurrency Theory: Proc./19th International Conference, CONCUR 2008. Toronto, Canada, August 2008 | 2008 | Lecture Notes in Computer Science |
|
03.10.2008 |