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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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
Developing UPPAAL over 15 years
Show others and affiliations
2011 (English)In: Software, practice & experience, ISSN 0038-0644, E-ISSN 1097-024X, Vol. 41, no 2, 133-142 p.Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2011. Vol. 41, no 2, 133-142 p.
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:uu:diva-130899DOI: 10.1002/spe.1006ISI: 000287106000002OAI: oai:DiVA.org:uu-130899DiVA: diva2:351981
Projects
CoDeR-MPUPMARC
Available from: 2010-09-20 Created: 2010-09-17 Last updated: 2017-12-12Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Yi, Wang

Search in DiVA

By author/editor
Yi, Wang
By organisation
Computer Systems
In the same journal
Software, practice & experience
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 502 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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