Kevin Lano, S. J. Goldsack. Formalizing Real-Time System Design. In Jan Bosch, Stuart Mitchell, editors, Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Volume 1357 of Lecture Notes in Computer Science, pages 436-445, Springer, 1997. [doi]
@inproceedings{LanoG97, title = {Formalizing Real-Time System Design}, author = {Kevin Lano and S. J. Goldsack}, year = {1997}, url = {http://link.springer.de/link/service/series/0558/bibs/1357/13570436.htm}, tags = {design}, researchr = {https://researchr.org/publication/LanoG97}, cites = {0}, citedby = {0}, pages = {436-445}, booktitle = {Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997}, editor = {Jan Bosch and Stuart Mitchell}, volume = {1357}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64039-8}, }