FI MU Reports by Author - Y

Karen Yorav

e-mail: kareny(a)galileo.co.il

Publications in FI MU Report Series:

Using Assumptions to Distribute CTL Model Checking

by Lubos Brim, Jitka Crhova, Karen Yorav, This is a full version of the paper presented at PDMC`02. October 2002, 22 pages.
FIMU-RS-2002-08. Abstract, Postscript, PDF.

---