1 citations · 1 across the 1 of their papers we have counts for
1 paper
Michael Benedikt, Pierre Bourhis, Clemens Ley
We study verification of systems whose transitions consist of accesses to a Web-based data-source. An access is a lookup on a relation within a relational database, fixing values f…