Home

Back

Julian Rathke: BibTex


@inproceedings{RH97-locvpp,
  author	= {Rathke, Julian and Hennessy, Matthew},
  title		= {Local model checking for value-passing processes},
  booktitle	= {Proc. International Symposium on Theoretical Aspects of Computer Software, {TACS}},
  year		= {1997},
  publisher	= {Springer-Verlag},
}