Ghent University Academic Bibliography

Advanced

Enforcing k-safeness in controlled state machines

Geert Stremersch and René Boel UGent (1999) Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742.
Please use this url to cite or link to this publication:
author
organization
year
type
conference
publication status
published
subject
in
Conference Proceedings, 38th IEEE Conference on Decision and Control, December 7-10, Phoenix, Arizona, USA, 1737-1742
language
English
UGent publication?
yes
classification
C1
id
117762
handle
http://hdl.handle.net/1854/LU-117762
date created
2004-01-14 13:35:00
date last changed
2016-12-19 15:35:37
@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},
}

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.