@inproceedings{b073fe17a5d149acaa513f8ec49636f2,
title = "Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking.",
author = "M.C.W. Geilen and T. Basten and S. Stuijk",
year = "2005",
language = "English",
isbn = "1-59593-133-3",
pages = "819--824",
booktitle = "Proceedings of the 42nd Design Automation Confernce, DAC 2005",
publisher = "Association for Computing Machinery, Inc",
address = "United States",
note = "conference; DAC 2005, Anaheim, CA, USA; 2005-06-13; 2005-06-17 ; Conference date: 13-06-2005 Through 17-06-2005",
}