@inproceedings{HKS-gandalf11, | ||
address = | {Minori, Italy}, | |
author = | {Haar, Stefan and Kern, Christian and Schwoon, Stefan}, | |
booktitle = | {{P}roceedings of the 2nd {I}nternational {S}ymposium on {G}ames, {A}utomata, {L}ogics, and {F}ormal {V}erification ({GandALF}'11)}, | |
DOI = | {10.4204/EPTCS.54.3}, | |
editor = | {D'Agostino, Giovanna and La{~}Torre, Salvatore}, | |
month = | jun, | |
pages = | {31-44}, | |
series = | {Electronic Proceedings in Theoretical Computer Science}, | |
title = | {Computing the Reveals Relation in Occurrence Nets}, | |
url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HKS-gandalf11.pdf}, | |
volume = | {54}, | |
year = | {2011}, | |
} |