‹Programming› 2023 (series) / Tim Nelson
Not registered as user yet
Name:Tim Nelson
Country:United States
Affiliation:Brown University
Personal website:https://cs.brown.edu/~tn/
Contributions
| ‹Programming› 2023 | Little Tricky Logic: Misconceptions in the Understanding of LTL | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile