Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
Alfred Koelbl, Carl PixleyVolume:
33
Language:
english
Pages:
22
DOI:
10.1007/s10766-005-8910-3
Date:
December, 2005
File:
PDF, 293 KB
english, 2005