Tim Nelson - ‹Programming› 2023

Mon 13 - Fri 17 March 2023 Tokyo, Japan

Not registered as user yet

Name:Tim Nelson

Country:United States

Affiliation:Brown University

Personal website: https://cs.brown.edu/~tn/

Contributions

2023

‹Programming›

Little Tricky Logic: Misconceptions in the Understanding of LTL

Show activities from other conferences

‹Programming› 2023-profile
View general profile