| 2010 | |
| [1] | Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings (), In Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers (Mario Bravetti, Tevfik Bultan, eds.), Springer, volume 6551, 2010. |