01569nam a2200397 a 4500 ebr10296542 CaPaEBR m u cr cn||||||||| 070813s2008 njua sb 001 0 eng 2007033487 GBA806238 bnb 014493167 Uk 9780471704492 (cloth) 0471704490 (cloth) CaPaEBR CaPaEBR (OCoLC)608623935 TK7874.58 .Y64 2008eb 621.3815/48 22 Yoeli, Michael, 1917- Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol. Hoboken, N.J. : Wiley-Interscience, c2008. xv, 231 p. : ill. Wiley series on parallel and distributed computing Includes bibliographical references and index. Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries. Integrated circuits Verification. Computer software Verification. LOTOS (Computer program language) Petri nets. Electronic books. local Kol, Rakefet. ebrary, Inc. Wiley series on parallel and distributed computing. http://site.ebrary.com/lib/rucke/Doc?id=10296542 An electronic book accessible through the World Wide Web; click to view 77356 77356