YOELI,M.

VERIFICATION OF SYSTEM AND CIRCUITS USING LOTOS,PETRI NETS AND CCS - HOBOKEN Wiley 2008 - xv+231p.,25x12Cms.

0471704492

621.3819642 Y54