YOELI, M

VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS,PETRI NETS, AND CCS - HOBOKEN Wiley 2008 - xv+231p.,23X15Cms

0471704492

621.381548 Y54