@inproceedings{Huth:2001, author = {Huth, M}, pages = {183--218}, publisher = {Kluwer Academic 2001}, title = {Domains of view: a foundation for specification and analysis}, year = {2001} }
TY - CPAPER AU - Huth,M EP - 218 PB - Kluwer Academic 2001 PY - 2001/// SP - 183 TI - Domains of view: a foundation for specification and analysis ER -