Last update: Sun Mar 31 02:13:37 MDT 2019
@Article{Ipate:2009:TSH,
author = "Florentin Ipate",
title = "Test Selection for Hierarchical and Communicating
Finite State Machines",
journal = j-COMP-J,
volume = "52",
number = "3",
pages = "334--347",
month = may,
year = "2009",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxn027",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:35 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol52/issue3/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/abstract/52/3/334;
http://comjnl.oxfordjournals.org/cgi/content/full/52/3/334;
http://comjnl.oxfordjournals.org/cgi/reprint/52/3/334",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}