Manuel Martínez, Maria J. Avedillo, José M. Quintana, José L. Huertas
A Dynamic Model for the State Assignment Problem
DATE, 1998.
@inproceedings{DATE-1998-MartinezAQH,
author = "Manuel Martínez and Maria J. Avedillo and José M. Quintana and José L. Huertas",
booktitle = "{Proceedings of the Third Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1998.655955",
pages = "835--839",
publisher = "{IEEE Computer Society}",
title = "{A Dynamic Model for the State Assignment Problem}",
year = 1998,
}