Enhancing State Space Reduction Techniques for Model Checking

oleh BOSNACKI, DRAGAN
Terbitan: Universiteit Eindhoven, 2001

Helis Academy - Postgraduate courses for Data Analysis and Stewardship for Industry and Academia

oleh Dupuis, Lauren, Staiger, Christine, Ehrhart, Friederike, Botzki, Alexander, Baute, Joke, Bosnacki, Dragan, Weffers, Harold, Evelo, Chris, van Gelder, Celia
Terbitan: 2019