%0 Conference Paper %1 conf/dac/WallaceS86 %A Wallace, David E. %A Séquin, Carlo H. %B DAC %D 1986 %E Thomas, Don %I IEEE Computer Society Press %K dblp %P 683-689 %T Plug-in timing models for an abstract timing verifier. %U http://dblp.uni-trier.de/db/conf/dac/dac1986.html#WallaceS86

@inproceedings{conf/dac/WallaceS86, added-at = {2018-11-06T00:00:00.000+0100}, author = {Wallace, David E. and Séquin, Carlo H.}, biburl = {https://www.bibsonomy.org/bibtex/205731d0676d4c2f33aed87ca1465c929/dblp}, booktitle = {DAC}, crossref = {conf/dac/1986}, editor = {Thomas, Don}, ee = {https://doi.org/10.1145/318013.318140}, interhash = {d038728713f82c8ef50619de41e31f2f}, intrahash = {05731d0676d4c2f33aed87ca1465c929}, keywords = {dblp}, pages = {683-689}, publisher = {IEEE Computer Society Press}, timestamp = {2018-11-07T16:13:50.000+0100}, title = {Plug-in timing models for an abstract timing verifier.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1986.html#WallaceS86}, year = 1986 }