File:Riedel-research-using-cubes-of-non-state-variables-with-property-directed-reachability-76bc49e7.jpg

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search

Riedel-research-using-cubes-of-non-state-variables-with-property-directed-reachability-76bc49e7.jpg ‎(477 × 417 pixels, file size: 22 KB, MIME type: image/jpeg)

Source

Figure excerpted from Using Cubes of Non-state Variables With Property Directed Reachability. Marc Riedel is an author of the paper.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current23:55, 18 August 2026Thumbnail for version as of 23:55, 18 August 2026477 × 417 (22 KB)MarcRiedel (talk | contribs)Add visual for the redesigned research publications page

You cannot overwrite this file.

The following page uses this file:

Retrieved from "http://mriedel.ece.umn.edu/wiki/index.php?title=File:Riedel-research-using-cubes-of-non-state-variables-with-property-directed-reachability-76bc49e7.jpg&oldid=333664"