conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Patrice Godefroid
1 papers · 2015–2015 · 1 conference
· across top CS/AI conferences
Conferences
NSDI (1)
Top co-authors
George Varghese (1)
Nikolaj Bjørner (1)
Karthick Jayaraman (1)
Nuno P. Lopes (1)
Papers
Checking Beliefs in Dynamic Networks
NSDI 2015