Robby, Rodrguez, E., Dwyer, M. & Hatcliff, J. (2004), Checking strong specifications using an extensible software model checking framework, in `Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)', pp. 404--420.  Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Factorising Temporal Specifications - Huisman, Trentelman (2005) (Correct)
No context found.
Robby, Rodrguez, E., Dwyer, M. & Hatcliff, J. (2004), Checking strong specifications using an extensible software model checking framework, in `Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)', pp. 404--420.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC