Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

Volume 6
Issue 03 - May 2006
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems</div><br><div style="font-size: 10px;"><b>GIORGIO DELZANNO,SANDRO ETALLE and MAURIZIO GABBRIELLI (2006).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=TLP">Theory and Practice of Logic Programming</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=TLP&volumeId=6&bVolume=y#loc6 ">Volume 6</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=6&issueId=03&iid=435559"> Issue 03</a>, May 2006 pp 225-226 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=435559">http://journals.cambridge.org/action/displayAbstract?aid=435559</a></div></div>
The code will display like this:

Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

GIORGIO DELZANNO, SANDRO ETALLE and MAURIZIO GABBRIELLI (2006).
Theory and Practice of Logic Programming, Volume 6, Issue 03, May 2006 pp 225-226 http://journals.cambridge.org/action/displayAbstract?aid=435559

Blog this Article

Theory and Practice of Logic Programming (2006), 6 : 225-226 Cambridge University Press

Copyright © 2006 Cambridge University Press

doi:10.1017/S1471068406002638 (About doi)

Published online by Cambridge University Press 11 May 2006

Social Bookmarking

Username or Email Address	Password

Cambridge Journals Online

Theory and Practice of Logic Programming (2006), 6 : 225-226 Cambridge University Press

Copyright © 2006 Cambridge University Press

doi:10.1017/S1471068406002638 (About doi)

Published online by Cambridge University Press 11 May 2006