You are here: Faculty of Informatics » Research and Development » Technical Reports » List by Author

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.