|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2008 15th Asia-Pacific Software Engineering Conference
Using Abstraction to Verify Arbitrary Temporal Properties
December 03-December 05
ISBN: 978-0-7695-3446-6
| ASCII Text | x | ||
| Amir Pnueli, "Using Abstraction to Verify Arbitrary Temporal Properties," Asia-Pacific Software Engineering Conference, pp. 3, 2008 15th Asia-Pacific Software Engineering Conference, 2008. | |||
| BibTex | x | ||
| @article{ 10.1109/APSEC.2008.76, author = {Amir Pnueli}, title = {Using Abstraction to Verify Arbitrary Temporal Properties}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {2008}, issn = {1530-1362}, pages = {3}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2008.76}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Using Abstraction to Verify Arbitrary Temporal Properties SN - 1530-1362 SP EP A1 - Amir Pnueli, PY - 2008 VL - 0 JA - Asia-Pacific Software Engineering Conference ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2008.76
Citation:
Amir Pnueli, "Using Abstraction to Verify Arbitrary Temporal Properties," apsec, pp.3, 2008 15th Asia-Pacific Software Engineering Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.