%0 Conference Paper %1 conf/eurosim/Gorlatch94 %A Gorlatch, Sergei %B EUROSIM %D 1994 %E Dekker, Len %E Smit, Wim %E Zuidervaart, Jan C. %I Elsevier %K dblp %P 397-404 %T Exploiting Divided-and-Conquer Parallelism of Functional Specifications. %U http://dblp.uni-trier.de/db/conf/eurosim/eurosim1994.html#Gorlatch94 %@ 0-444-81784-0

@inproceedings{conf/eurosim/Gorlatch94, added-at = {2003-03-25T00:00:00.000+0100}, author = {Gorlatch, Sergei}, biburl = {https://www.bibsonomy.org/bibtex/2ba41a372f4ab079e0e5b32c6360b9f37/dblp}, booktitle = {EUROSIM}, crossref = {conf/eurosim/1994}, date = {2003-03-25}, description = {dblp}, editor = {Dekker, Len and Smit, Wim and Zuidervaart, Jan C.}, interhash = {c0d4b4770baf1a407a821d84f8b1be55}, intrahash = {ba41a372f4ab079e0e5b32c6360b9f37}, isbn = {0-444-81784-0}, keywords = {dblp}, pages = {397-404}, publisher = {Elsevier}, timestamp = {2003-03-25T00:00:00.000+0100}, title = {Exploiting Divided-and-Conquer Parallelism of Functional Specifications.}, url = {http://dblp.uni-trier.de/db/conf/eurosim/eurosim1994.html#Gorlatch94}, year = 1994 }