author = {Wolfgang Schreiner},
title = {{The Correctness of the PACLIB Kernel\\A Case Study in Parallel Program Verification by Temporal Logic}},
number = {93-13},
year = {1993},
sponsor = { Austrian Forschungsf"{o}rderungsfonds, project no.S5302-PHY (Parallel Symbolic Computation).},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Schloss Hagenberg, 4232 Hagenberg, Austria}