@inproceedings{8eeef5bd32094cffb8031301ec25c683,
title = "The SMARTIE framework for modelling discrete dynamic systems",
author = "G.J.P.M. Houben and J.L.G. Dietz and {Hee, van}, K.M.",
year = "1988",
doi = "10.1007/BFb0042312",
language = "English",
isbn = "3-540-18666-2",
series = "Lecture Notes in Control and Information Sciences (LNCIS)",
publisher = "Springer",
pages = "179--196",
editor = "P. Varaiya and A.B. Kurzhanski",
booktitle = "Discrete event systems",
address = "Germany",
note = "IIASA ; Conference date: 03-08-1987 Through 07-08-1987",
}