%0 Conference Paper %1 conf/icpp/RosenblumY89 %A Rosenblum, Leonid Ya. %A Yakovlev, Alexandre %B ICPP (3) %D 1989 %I Pennsylvania State University Press %K dblp %P 211-218 %T Analyzing Semantics of Concurrent Hardware Specifications. %U http://dblp.uni-trier.de/db/conf/icpp/icpp1989-3.html#RosenblumY89

@inproceedings{conf/icpp/RosenblumY89, added-at = {2014-07-28T00:00:00.000+0200}, author = {Rosenblum, Leonid Ya. and Yakovlev, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2d431abbf844f821494faf5f9ef9b9e67/dblp}, booktitle = {ICPP (3)}, crossref = {conf/icpp/1989-3}, interhash = {8240ce15c77a10ba61b998174fb7b785}, intrahash = {d431abbf844f821494faf5f9ef9b9e67}, keywords = {dblp}, note = {0-271-00686-2}, pages = {211-218}, publisher = {Pennsylvania State University Press}, timestamp = {2015-06-18T13:44:19.000+0200}, title = {Analyzing Semantics of Concurrent Hardware Specifications.}, url = {http://dblp.uni-trier.de/db/conf/icpp/icpp1989-3.html#RosenblumY89}, year = 1989 }