@inproceedings{1f1a35516f5f4a4987aaf6ecb7f0b34a,
title = "Parallelisation of the Petri Net Unfolding Algorithm.",
keywords = "causality, concurrency, Model checking, parallel algorithms, Petri nets, unfolding, causality, concurrency, Model checking, parallel algorithms, Petri nets, unfolding, causality, concurrency, Model checking, parallel algorithms, Petri nets, unfolding",
author = "K. Heljanko and V. Khomenko and M. Koutny",
year = "2002",
language = "English",
pages = "371--385",
editor = "J.-P. Katoen and P. Stevens",
booktitle = "The 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002), Grenoble, France, April 2002",
}