%0 Conference Paper %1 conf/eurosim/Cate94 %A ten Cate, H. H. %B EUROSIM %D 1994 %E Dekker, Len %E Smit, Wim %E Zuidervaart, Jan C. %I Elsevier %K dblp %P 107-116 %T Rigorous Abstraction and Specification in Parallel Software Development. %U http://dblp.uni-trier.de/db/conf/eurosim/eurosim1994.html#Cate94 %@ 0-444-81784-0

@inproceedings{conf/eurosim/Cate94, added-at = {2003-03-25T00:00:00.000+0100}, author = {ten Cate, H. H.}, biburl = {https://www.bibsonomy.org/bibtex/2f395416c59f627a2d76da8618c6fdef8/dblp}, booktitle = {EUROSIM}, crossref = {conf/eurosim/1994}, date = {2003-03-25}, description = {dblp}, editor = {Dekker, Len and Smit, Wim and Zuidervaart, Jan C.}, interhash = {4ec2a4a7d02dd7c9d3c00d467fa7d1fe}, intrahash = {f395416c59f627a2d76da8618c6fdef8}, isbn = {0-444-81784-0}, keywords = {dblp}, pages = {107-116}, publisher = {Elsevier}, timestamp = {2003-03-25T00:00:00.000+0100}, title = {Rigorous Abstraction and Specification in Parallel Software Development.}, url = {http://dblp.uni-trier.de/db/conf/eurosim/eurosim1994.html#Cate94}, year = 1994 }