Author of the publication

A New Framework for Dynamic Adaptations and Actions.

, , and . EC-TEL, volume 5794 of Lecture Notes in Computer Science, page 67-72. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal verification of the pastry protocol.. Saarland University, (2013)Just-in-Time Adaptivity through Dynamic Items., , and . UMAP, volume 5535 of Lecture Notes in Computer Science, page 373-378. Springer, (2009)A New Framework for Dynamic Adaptations and Actions., , and . EC-TEL, volume 5794 of Lecture Notes in Computer Science, page 67-72. Springer, (2009)Towards a fully automated 3D printability checker.. ICIT, page 922-927. IEEE, (2016)Formal Verification of the Pastry Protocol Using \mathrmTLA^+.. SETTA, volume 9409 of Lecture Notes in Computer Science, page 284-299. Springer, (2015)Towards Verification of the Pastry Protocol Using TLA + ., , and . FMOODS/FORTE, volume 6722 of Lecture Notes in Computer Science, page 244-258. Springer, (2011)