@book{42767,
	author = {Yoeli, Michael, and Kol, Rakefet.},
	title = {Verification of systems and circuits using LOTOS, Petri Nets, and CCS /},
	publisher = {Wiley-Interscience,},
	year = {c2008.},
	address = {Hoboken, N.J. :},
	note = {Includes bibliographical references and index.},
	url = {http://www.loc.gov/catdir/enhancements/fy0826/2007033487-t.html}
}