Cited By
View all- Milewicz RPoulding S(2018)Scalable Parallel Model Checking via Monte-Carlo Tree SearchACM SIGSOFT Software Engineering Notes10.1145/3149485.314949542:4(1-5)Online publication date: 11-Jan-2018
- Arts TMousavi MKruchten PDajsuren YAltinger HStaron M(2015)Automatic Consequence Analysis of Automotive Standards (AUTO-CAAS)Proceedings of the First International Workshop on Automotive Software Architecture10.1145/2752489.2752495(35-38)Online publication date: 4-May-2015