Results 121 to 130 of about 324,568 (209)

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

open access: yesForm Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

The Grape Escape a sidewalk cafe

open access: yes, 2012
The Grape Escape (Restaurant)
core  

Home - About - Disclaimer - Privacy