Publications

of David Fabian

Conference articles

  1. David Fabian and Radek Marėk. Configuration Dynamics Verification Using UPPAAL. In 15 th International Configuration Workshop, pages 35, 2013.

BACK TO INDEX