GRAFCET Reduction Techniques for Model Checking.

Robin Mro, Aron Schnakenbeck, Marcus Vlker, Alexander Fay, Stefan Kowalewski

Browse the full INDIN paper archive.