EasyChair Smart SlideDocs/Log in
Author: Tim Nelson

This page shows all presentations of this author published in EasyChair Smart Slide.

Little Tricky Logic: Misconceptions in the Understanding of LTL

Little Tricky Logic: Misconceptions in the Understanding of LTL

Ben Greenman, Sam Saarinen, Tim Nelson and Shriram Krishnamurthi

CompoSAT: Specification-Guided Coverage for Model Finding

CompoSAT: Specification-Guided Coverage for Model Finding

Sorawee Porncharoenwase, Tim Nelson and Shriram Krishnamurthi

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair