Technical Reports

A list sorted by author - Y

Karen Yorav

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

Using Assumptions to Distribute CTL Model Checking

by Lubo¹ Brim, Jitka Crhová, 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.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz