Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi
Software Process Description Using LOTOS and Its Enaction
ICSE, 1994.
@inproceedings{ICSE-1994-YasumotoHT,
acmid = "257734.257758",
author = "Keiichi Yasumoto and Teruo Higashino and Kenichi Taniguchi",
booktitle = "{Proceedings of the 16th International Conference on Software Engineering}",
editor = "Bruno Fadini and Leon J. Osterweil and Axel van Lamsweerde",
isbn = "0-8186-5855-X",
pages = "169--178",
publisher = "{IEEE Computer Society / ACM Press}",
title = "{Software Process Description Using LOTOS and Its Enaction}",
year = 1994,
}