Kazuhiro Ogata, Kokichi Futatsugi
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ
ASE, 2001.
@inproceedings{ASE-2001-OgataF, author = "Kazuhiro Ogata and Kokichi Futatsugi", booktitle = "{Proceedings of the 16th IEEE International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2001.989804", isbn = "0-7695-1426-X", pages = "185--192", publisher = "{IEEE Computer Society}", title = "{Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ}", year = 2001, }