Jean-Pierre Hubaux, Shawn Koppenhoefer
Numerous proposals for applying temporal logic to the specification and verification of object-oriented systems have appeared in the past several years. Although various temporal models have been proposed for the requirements analysis of object-oriented di ...
1998