@inproceedings{ALL02,
title = {Using Formal Tools to Study Complex Circuits Behaviour },
author = {Amblard, Paul and Lagnier, Fabienne and Levy, Michel},
month = {September},
year = {2002},
booktitle = {IEEE Symposium on Digital Systems Design (Euromicro DSD 2002)},
pages = {180--186},
team = {SYNC},
}
