Вы здесь
Willemse T.A. C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification | 2006 | Andova S., Baeten J.C. M., Willemse T.A. C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 28.09.2006 | ||
| СТ | Test Generation Based on Symbolic Specifications | 2005 | Frantzen L., Tretmans J., Willemse T.A. C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 29.04.2005 | ||
| СТ | A Checker for Modal Formulae for Processes with Data | 2004 | Groote J. F., Willemse T.A. C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 12.02.2005 | ||
| СТ | Embeddings of Hybrid Automata in Process Algebra | 2004 | Willemse T.A. C. | Lecture Notes in Computer Science | 21.05.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Techniques for Distributed Objects, Components, and Systems: Proc./41st IFIP WG 6.1 International Conference, FORTE 2021 Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valetta, Malta, June 2021 | 2021 | Lecture Notes in Computer Science |
|
20.08.2021 | |||
| СБ | Formal Methods for Industrial Critical Systems: Proc./24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 2019 | 2019 | Lecture Notes in Computer Science |
|
28.08.2019 |