FI MU Report Series

FI MU Reports by Author - Y

Karen Yorav

e-mail: kareny(a)

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.

FI MU Report Series