Skip redundant pieces
divider line
Information and Telecommunication Technology Center (ITTC)

BibTeX


@TechReport{ Deavours2Concurrent,
author= "Daniel D. Deavours",
title= "\{On Concurrent Events and Correctness in Stochastic Models}",
month= "Dec.",
year= "2002",
number= "ITTC-FY2003-TR-03050-01",
institution= "Information Telecommunication and Technology Center, University of Kansas, Lawrence, KS"
}