Minimising buffer requirements of synchronous dataflow graphs with model checking

Research output: Book/ReportReportAcademic

63 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages11
Publication statusPublished - 2005

Publication series

NameES reports
Volume2005-01
ISSN (Print)1574-9517

Cite this