Advanced search
Author
Organization

Citation

Please use this url to cite or link to this publication:

Chicago
Stremersch, Geert, and René Boel. 1999. “Enforcing K-safeness in Controlled State Machines.” In Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742.
APA
Stremersch, G., & Boel, R. (1999). Enforcing k-safeness in controlled state machines. Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742.
Vancouver
1.
Stremersch G, Boel R. Enforcing k-safeness in controlled state machines. Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742. 1999.
MLA
Stremersch, Geert, and René Boel. “Enforcing K-safeness in Controlled State Machines.” Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742. 1999. Print.
@inproceedings{117762,
  author       = {Stremersch, Geert and Boel, Ren{\'e}},
  booktitle    = {Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742},
  language     = {eng},
  title        = {Enforcing k-safeness in controlled state machines},
  year         = {1999},
}