%0 Report %1 Lynch94Simulations %A Lynch, N. %A Vaandrager, F. %C Cambridge, MA, USA %D 1994 %I Massachusetts Institute of Technology %K proof simulation %T FORWARD AND BACKWARD SIMULATIONS PART I: UNTIMED SYSTEMS (replaces TM-486)

@techreport{Lynch94Simulations, added-at = {2010-09-08T11:24:22.000+0200}, address = {Cambridge, MA, USA}, author = {Lynch, N. and Vaandrager, F.}, biburl = {https://www.bibsonomy.org/bibtex/248370352616dd8d6f1330967c70db265/giuliano.losa}, interhash = {449ee930c4fbff77ae0a8616115f36e5}, intrahash = {48370352616dd8d6f1330967c70db265}, keywords = {proof simulation}, publisher = {Massachusetts Institute of Technology}, timestamp = {2010-09-08T11:24:22.000+0200}, title = {FORWARD AND BACKWARD SIMULATIONS PART I: UNTIMED SYSTEMS (replaces TM-486)}, year = 1994 }