39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 - A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
archive-ouverte.unige.ch