%
%
@inproceedings{TobenWestphal2005,
  author       = "Tobe Toben and Bernd Westphal",
  title        = "Concurrent LSC Verification - On Decomposition Properties of Partially Ordered Symbolic Automata",
  year         = "2006",
  url          = "-",
  booktitle    = "Proceedings of the 5th International Workshop on Automated
                  Verification of Critical Systems (AVoCS 2005)",
  editor       = "Ranko Lazic",
  series       = "ENTCS",
  publisher    = "Elsevier B. V.",
  month        = jan,
  volume       = "145",
  pages        = "95--111",
  x-pardate    = "Tue Nov 22 14:35:30 MET 2005",
  x-topics     = "lsc automata decomp"
}
% vim: set noai: