排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
Jacobs Swen Bloem Roderick Brenguier Romain Ehlers Rüdiger Hell Timotheus Könighofer Robert Pérez Guillermo A. Raskin Jean-François Ryzhyk Leonid Sankur Ocan Seidl Martina Tentrup Leander Walker Adam 《International Journal on Software Tools for Technology Transfer (STTT)》2017,19(3):367-390
International Journal on Software Tools for Technology Transfer - We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the... 相似文献
1