17 citations · 26 across the 4 of their papers we have counts for
1 paper · 1 filter
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…