Towards Efficient Verification of Systems with Dynamic Process Creation.

Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Browse the full ICTAC paper archive.