Publications

of M. Bjareland

Miscellaneous

  1. M. Bjareland. Proving consistency in K-IA chronicles---An implemention of PMON. Master's thesis, Dept. of Information and Comp. Science, Linkoepings Universitet, 1996.

BACK TO INDEX