Inproceedings,
Formal Verification of Transactional Systems.
M. Song, A. Pereira, and S. Campos.WEBIST, page 194-197. INSTICC Press, (2005)
Meta data
- BibTeX key
- conf/webist/SongPC05
- entry type
- inproceedings
- booktitle
- WEBIST
- year
- 2005
- pages
- 194-197
- publisher
- INSTICC Press
- crossref
- conf/webist/2005
- isbn
- 972-8865-20-1
- url
- http://dblp.uni-trier.de/db/conf/webist/webist2005.html#SongPC05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/webist/SongPC05
%A Song, Mark A. J.
%A Pereira, Adriano C. M.
%A Campos, Sérgio Vale Aguiar
%B WEBIST
%D 2005
%E Cordeiro, José
%E Pedrosa, Vitor
%E Encarnação, Bruno
%E Filipe, Joaquim
%I INSTICC Press
%K dblp
%P 194-197
%T Formal Verification of Transactional Systems.
%U http://dblp.uni-trier.de/db/conf/webist/webist2005.html#SongPC05
%@ 972-8865-20-1
@inproceedings{conf/webist/SongPC05,
added-at = {2016-06-25T00:00:00.000+0200},
author = {Song, Mark A. J. and Pereira, Adriano C. M. and Campos, Sérgio Vale Aguiar},
biburl = {https://www.bibsonomy.org/bibtex/2dbb991b4c2417344b96f9b8e972a554f/dblp},
booktitle = {WEBIST},
crossref = {conf/webist/2005},
editor = {Cordeiro, José and Pedrosa, Vitor and Encarnação, Bruno and Filipe, Joaquim},
interhash = {8541c794e53321be1cf59b03b3078001},
intrahash = {dbb991b4c2417344b96f9b8e972a554f},
isbn = {972-8865-20-1},
keywords = {dblp},
pages = {194-197},
publisher = {INSTICC Press},
timestamp = {2016-06-28T12:09:21.000+0200},
title = {Formal Verification of Transactional Systems.},
url = {http://dblp.uni-trier.de/db/conf/webist/webist2005.html#SongPC05},
year = 2005
}