%0 Conference Paper %1 conf/eds/NakazawaIMA84 %A Nakazawa, Masahiro %A Isoda, Michio %A Miyazaki, Jun %A Aiso, Hideo %B Expert Database Workshop %D 1984 %E Kerschberg, Larry %I Benjamin/Cummings %K dblp %P 469-485 %T MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language. %U http://dblp.uni-trier.de/db/conf/eds/eds84.html#NakazawaIMA84 %@ 0-8053-3270-7

@inproceedings{conf/eds/NakazawaIMA84, added-at = {2019-07-29T00:00:00.000+0200}, author = {Nakazawa, Masahiro and Isoda, Michio and Miyazaki, Jun and Aiso, Hideo}, biburl = {https://www.bibsonomy.org/bibtex/2c3674f86c369d39c7d644b228744f309/dblp}, booktitle = {Expert Database Workshop}, crossref = {conf/eds/84}, editor = {Kerschberg, Larry}, interhash = {a9f0d34d1f85ad384c538c1b7beedf1c}, intrahash = {c3674f86c369d39c7d644b228744f309}, isbn = {0-8053-3270-7}, keywords = {dblp}, pages = {469-485}, publisher = {Benjamin/Cummings}, timestamp = {2019-07-30T11:52:38.000+0200}, title = {MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language.}, url = {http://dblp.uni-trier.de/db/conf/eds/eds84.html#NakazawaIMA84}, year = 1984 }