@inproceedings{Tob2006,
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}
}
@COMMENT{Bibtex file generated on }