M. Bjareland.
Proving consistency in K-IA chronicles---An implemention of PMON.
Master's thesis,
Dept. of Information and Comp. Science, Linkoepings Universitet,
1996.
This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein
are retained by authors or by other copyright holders.
Last Update
Mon May 28 11:19:41 2018
Authors
This bibliography was compiled by the following authors:
Peter Van Weert
Jon Sneyers
Tom Schrijvers
Leslie De Koninck
Falco Nogatz
Thom Frühwirth
Daniel Gall
Please send BibTEX entries of missing CHR-related publications to Falco Nogatz.
Credits
This document was generated from BibTEX by
bibtex2html.