Back to Results
First PageMeta Content
Parallel computing / Graph / Shortest path problem / Distributed File System / Graph theory / Mathematics / Theoretical computer science


DISTRIBUTED LTL MODEL-CHECKING Luboˇs Brim [removed] Parallel and Distributed Systems Laboratory Department of Computer Science
Add to Reading List

Document Date: 2003-06-27 09:55:02

Open Document

File Size: 111,52 KB

Share Result on Facebook

City

Prague / /

Company

Distributed Systems Laboratory / /

/

Facility

Masaryk University Brno Institute of Informatics / Prague Institute of Information Theory / Charles University / /

IndustryTerm

linear algorithm / /

Organization

Funding Faculty of Informatics / Distributed Systems Laboratory Department of Computer Science Faculty of Informatics Masaryk University Brno FMICS / Masaryk University Brno Institute of Informatics / Charles University Prague / Grant Agency / Prague Institute of Information Theory and Automation / /

Person

Ivana Cern / /

Technology

shared memory / /

URL

www.fi.muni.cz/paradise / /

SocialTag