@inproceedings{3e75d9565c97464d93d47ed06085615f,
title = "On Choosing a Scapegoat in the Stubborn Set Method",
keywords = "Petri nets, reachability analysis, stubborn set method, Petri nets, reachability analysis, stubborn set method, Petri nets, reachability analysis, stubborn set method",
author = "K. Varpaaniemi",
year = "1993",
language = "English",
pages = "163--171",
booktitle = "International Workshop on Concurrency, Specification, and Programming, Berlin, Germany, 19.-21.11.1992",
publisher = "Humboldt University of Berlin",
address = "Germany",
}