S. Roach and J. Baalen. Automated Procedure Construction for Deductive Synthesis. ASE, 12(4):393--414, 2005. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Designing Security Requirements Models through - Planning Volha Bryl (Correct)
No context found.
S. Roach and J. Baalen. Automated Procedure Construction for Deductive Synthesis. ASE, 12(4):393--414, 2005.
Designing Security Requirements Models - Through Planning Volha (Correct)
No context found.
Steve Roach and Jeffrey Baalen, `Automated Procedure Construction for Deductive Synthesis', 12(4), 393--414, (2005).
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