@inproceedings{MM04a,
title = {Arrays and Contracts for the Specification and Analysis of Regular Systems },
author = {Maraninchi, Florence and Morel, Lionel},
month = {jun},
year = {2004},
booktitle = {Fourth International Conference on Application of Concurrency to System Design},
address = {Hamilton, Ontario, Canada},
team = {SYNC},
}
