Michael Köhler-Bußmeier.
On the complexity of safe, elementary Hornets.
In Proceedings of the International Workshop on Concurrency,
Specification, and Programming (CS&P 2012), volume 928. CEUR Workshop
Proceedings, 2012.
[link]
[link]
@inproceedings{Koehler12c, author = {K{\"o}hler-Bu{\ss}meier, Michael}, title = {On the Complexity of Safe, Elementary {Hornets}}, booktitle = "Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS{\&}P 2012)", year = 2012, publisher = {CEUR Workshop Proceedings}, volume = {928}, url = {http://ceur-ws.org/Vol-928/} }