Marijn Heule - ICSME 2023

Sun 1 - Fri 6 October 2023 Bogotá, Colombia

Registered user since Sat 7 Jan 2023

Name:Marijn Heule

Affiliation:Carnegie Mellon University

Personal website: https://www.cs.cmu.edu/~mheule/

Contributions

2023

ICSME

Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines

Show activities from other conferences

ICSME 2023-profile
View general profile