% klaeglich rejectete Journal-Version des AVOCS Papers 
%
@misc{TobenWestphal2005a,
  author       = "Tobe Toben and Bernd Westphal",
  title        = "Concurrent LSC Verification",
  year         = "2005",
  url          = "-",
  note         = "Major revision of the Workshop version.
                  Rejected for the Journal issue.",
  x-pardate    = "Sat Aug 12 17:37:29 MEST 2006",
  x-topics     = "lsc concurrency"
}
% vim: set noai: