Nima Kaveh. Model Checking Distributd Objects Design. In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada. pages 793-794, IEEE Computer Society, 2001.
@inproceedings{Kaveh01,
title = {Model Checking Distributd Objects Design},
author = {Nima Kaveh},
year = {2001},
tags = {model checking, meta-model, object-role modeling, Meta-Environment, design, meta-objects},
researchr = {https://researchr.org/publication/Kaveh01},
cites = {0},
citedby = {0},
pages = {793-794},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-1050-7},
}