@inproceedings{Eisenbach:1994, author = {Eisenbach, S and Kramer, J and Magee, JN}, publisher = {IEEE}, title = {Regis-Darwin specified in the p-Calculus}, url = {http://hdl.handle.net/10044/1/5891}, year = {1994} }
TY - CPAPER AU - Eisenbach,S AU - Kramer,J AU - Magee,JN PB - IEEE PY - 1994/// TI - Regis-Darwin specified in the p-Calculus UR - http://hdl.handle.net/10044/1/5891 ER -