uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
The 2014 SMT Competition
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Concurrency)
2016 (English)In: Journal on Satisfiability, Boolean Modeling and Computation, ISSN 1875-5011, E-ISSN 1574-0617Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2016.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-307351OAI: oai:DiVA.org:uu-307351DiVA: diva2:1046295
Available from: 2016-11-13 Created: 2016-11-13 Last updated: 2016-11-18

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Weber, Tjark
By organisation
Computing Science
In the same journal
Journal on Satisfiability, Boolean Modeling and Computation
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 53 hits
ReferencesLink to record
Permanent link

Direct link