Вы здесь

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