Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
8 results · clear filters Sort: newest oldest name
- Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems, MARS 2026, Turin, Italy, 12th April 2026.Computer and information sciencese12123j
- Workshop on Models for Formal Analysis of Real Systems (MARS)Computer and information sciencess122y1r
- Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024.Computer and information sciencese1210r9
- Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022.Computer and information sciencese120zfz
- Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020.Computer and information sciencese120y9c
- Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. (VPT)Computer and information sciencese120wy3
- Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017.Computer and information sciencese120w9e
- Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.Computer and information sciencese120v7k
As JSON: https://labs.confref.org/api/search?field=1&series=s122y1r