%0 Conference Paper %1 journals/entcs/ReedRS06 %A Reed, Joy N. %A Roscoe, A. W. %A Sinclair, Jane E. %B AVoCS %D 2005 %E Lazic, Ranko %E Nagarajan, Rajagopal %I Elsevier %K dblp %P 185-200 %T Machine-Verifiable Responsiveness. %U http://dblp.uni-trier.de/db/journals/entcs/entcs145.html#ReedRS06 %V 145

@inproceedings{journals/entcs/ReedRS06, added-at = {2022-12-15T00:00:00.000+0100}, author = {Reed, Joy N. and Roscoe, A. W. and Sinclair, Jane E.}, biburl = {https://www.bibsonomy.org/bibtex/2693947a1c109bd35389871046771bcd5/dblp}, booktitle = {AVoCS}, crossref = {conf/avocs/2005}, editor = {Lazic, Ranko and Nagarajan, Rajagopal}, ee = {https://doi.org/10.1016/j.entcs.2005.10.012}, interhash = {97a8fd21d4b0fc780929550a5a6382eb}, intrahash = {693947a1c109bd35389871046771bcd5}, keywords = {dblp}, pages = {185-200}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:24:04.000+0200}, title = {Machine-Verifiable Responsiveness.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs145.html#ReedRS06}, volume = 145, year = 2005 }