On relational interfaces

Open Webpage

Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee

Published: 2009, Last Modified: 27 Apr 2025EMSOFT 2009EveryoneRevisionsBibTeXCC BY-SA 4.0