%0 Conference Paper %1 conf/ifip/JohannesCM92 %A Johannes, P. %A Claesen, Luc J. M. %A Man, Hugo De %B IFIP Congress (1) %D 1992 %E van Leeuwen, Jan %I North-Holland %K dblp %P 703-709 %T Performance Through Hierarchy in Static Timing Verification. %U http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#JohannesCM92 %V A-12 %@ 0-444-89747-X

@inproceedings{conf/ifip/JohannesCM92, added-at = {2002-08-14T00:00:00.000+0200}, author = {Johannes, P. and Claesen, Luc J. M. and Man, Hugo De}, biburl = {https://www.bibsonomy.org/bibtex/2001ccdbedaefa885e3e47d0ead5555bd/dblp}, booktitle = {IFIP Congress (1)}, crossref = {conf/ifip/1992-1}, date = {2002-08-14}, description = {dblp}, editor = {van Leeuwen, Jan}, interhash = {3b27d91092cf422cb4b44d54ad118344}, intrahash = {001ccdbedaefa885e3e47d0ead5555bd}, isbn = {0-444-89747-X}, keywords = {dblp}, pages = {703-709}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-08-14T00:00:00.000+0200}, title = {Performance Through Hierarchy in Static Timing Verification.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip92-1.html#JohannesCM92}, volume = {A-12}, year = 1992 }