Last update: Thu Jun 20 02:01:00 MDT 2019
@Article{Zheng:2003:TCM,
author = "Tong Zheng and Ferhat Khendek",
title = "Time consistency of {MSC}-2000 specifications",
journal = j-COMP-NET-AMSTERDAM,
volume = "42",
number = "3",
pages = "303--322",
day = "21",
month = jun,
year = "2003",
CODEN = "????",
ISSN = "1389-1286 (print), 1872-7069 (electronic)",
ISSN-L = "1389-1286",
bibdate = "Wed Nov 5 08:04:35 MST 2003",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compnetamsterdam2000.bib",
acknowledgement = ack-nhfb,
journal-URL = "http://www.sciencedirect.com/science/journal/13891286",
}