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
Wed Oct 2 00:10:50 2019
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.