You are here: TUCS > PUBLICATIONS > Publication Search > Integerating Action Systems an...
Integerating Action Systems and Z in a Medical System Specification
Virpi Kasurinen, Kaisa Sere, Integerating Action Systems and Z in a Medical System Specification. In: Proceedings of Formal Methods Europe (FME '96), Lecture Notes in Computer Science 1051, Springer-Verlag, 1996.
BibTeX entry:
@INPROCEEDINGS{pKS96b,
title = {Integerating Action Systems and Z in a Medical System Specification},
booktitle = {Proceedings of Formal Methods Europe (FME '96)},
author = {Kasurinen, Virpi and Sere, Kaisa},
volume = {1051},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
year = {1996},
}