Creating Implementations from PROMELA Models

by Siegfried Löffler , Siegfried Lo Er , Ahmed Serhrouchni
Citations:2 - 0 self