Return to search

A model checking based framework for the trace analysis of distributed systems /

No description available.
Identiferoai:union.ndltd.org:mcgill.ca/oai:escholarship.mcgill.ca:47429f01t
Date January 2007
CreatorsHallal, Hesham H.
PublisherMcGill University
Source SetsMcGill University
Languagehttp://id.loc.gov/vocabulary/iso639-2/eng
Detected LanguageEnglish
TypeThesis
RightsAll items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated.
RelationProquest: AAINR50824, Pid: 113966

Page generated in 0.002 seconds