• Invitation
• Committees
• Congress Programme
• Tutorials & Workshops
• Topic Index
• Author Index
• Title Index
• Search Papers
• Sponsors
• Congress Secretariat
• Adobe Acrobat Reader
• DVD Info

Matko Drago

Affiliation:	University of Ljubljana
Country:	Slovenia

Paper Code	Title	Topic
Mo-E17-TO/5	Combined synthesis/verification approach to programmable logic control of a production line	5.1