@inproceedings{787,
  author = {Sherif Abdelwahed and William Wonham},
  title = {Blocking detection in discrete event systems},
  year = {2003},
  journal = {Proceeding of the American Control Conference},
  month = {June},
  address = {Denver, CO},
  language = {eng},
}