Travelled to:1 × Poland
Collaborated with:P.Dembinski A.Janowska P.Janowski W.Penczek M.Szreter B.Wozna A.Zbrzezny
Talks about:automata (1) verifi (1) specif (1) estell (1) veric (1) tool (1) time (1)
Person: Agata Pólrola
DBLP: P=oacute=lrola:Agata
Contributed to:
2003Wrote 1 papers:
- TACAS-2003-DembinskiJJPPSWZ #automaton #named #specification #verification
- Verics: A Tool for Verifying Timed Automata and Estelle Specifications (PD, AJ, PJ, WP, AP, MS, BW, AZ), pp. 278–283.