%0 Conference Paper %1 conf/cade/BibelBER94 %A Bibel, Wolfgang %A Brüning, Stefan %A Egly, Uwe %A Rath, Thomas %B CADE %D 1994 %E Bundy, Alan %I Springer %K dblp %P 783-787 %T KoMeT. %U http://dblp.uni-trier.de/db/conf/cade/cade94.html#BibelBER94 %V 814 %@ 3-540-58156-1

@inproceedings{conf/cade/BibelBER94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Bibel, Wolfgang and Brüning, Stefan and Egly, Uwe and Rath, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f73daae88a7cb490e64341eda03b5167/dblp}, booktitle = {CADE}, crossref = {conf/cade/1994}, editor = {Bundy, Alan}, ee = {https://doi.org/10.1007/3-540-58156-1_60}, interhash = {8b8cd454475fb789d3be56082ca27864}, intrahash = {f73daae88a7cb490e64341eda03b5167}, isbn = {3-540-58156-1}, keywords = {dblp}, pages = {783-787}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:39:06.000+0200}, title = {KoMeT.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade94.html#BibelBER94}, volume = 814, year = 1994 }