Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Academia Sinica.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
Show others and affiliations
2013 (English)In: Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin/Heidelberg, 2013, 530-536 p.Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2013. 530-536 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7795
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:uu:diva-203169DOI: 10.1007/978-3-642-36742-7_37ISBN: 978-3-642-36741-0 (print)OAI: oai:DiVA.org:uu-203169DiVA: diva2:635338
Conference
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, March 16-24, 2013, Rome, Italy
Projects
UPMARCWeak Memory Models
Available from: 2013-07-03 Created: 2013-07-03 Last updated: 2014-04-24Bibliographically approved

Open Access in DiVA

memorax2013.pdf(98 kB)142 downloads
File information
File name FULLTEXT01.pdfFile size 98 kBChecksum SHA-512
0765b17ee9c6bfb932d7fae798e1c07215eaa203371bfc8762baab03c93a86f6c42f3faf84af97367d98414d069e7b539393290125a77982b589b2ae80285281
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Abdulla, Parosh AzizAtig, Mohamed FaouziLeonardsson, CarlRezine, Ahmed
By organisation
Computer Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 142 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 642 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf