@inproceedingsTob2006, Author = {Toben, Tobe and Westphal, Bernd}, Title = {Concurrent LSC Verification - On Decomposition Properties of Partially Ordered Symbolic Automata}, Year = {2006}, Pages = {95-111}, Month = {01}, Publisher = {Elsevier B.V.}, Series = {ENTCS}, Edition = {145}, type = {inproceedings} @COMMENTBibtex file generated on