Leonid Ya. Rosenblum, Alexandre Yakovlev. Analyzing Semantics of Concurrent Hardware Specifications. In ICPP (2). pages 211-218, 1989.
@inproceedings{RosenblumY89, title = {Analyzing Semantics of Concurrent Hardware Specifications}, author = {Leonid Ya. Rosenblum and Alexandre Yakovlev}, year = {1989}, tags = {semantics}, researchr = {https://researchr.org/publication/RosenblumY89}, cites = {0}, citedby = {0}, pages = {211-218}, booktitle = {ICPP (2)}, }