Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten. Requirements and Concepts for Transaction Level Assertions. In 24th International Conference on Computer Design (ICCD 2006), 1-4 October 2006, San Jose, CA, USA. pages 286-293, IEEE, 2006. [doi]
Abstract is missing.