Home

Back

Julian Rathke: BibTex


@inproceedings{Rat97-unifiv,
  author	= {Rathke, Julian},
  title		= {Unique fixpoint induction for value-passing processes},
  booktitle	= {Proc. 12th Annual Symposium on Logic in Computer Science {LiCS}},
  year		= {1997},
  publisher	= {IEEE Computer Society Press},
  pages		= {140--148},
}