https://www.mdu.se/
mdu.se
Publications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35436
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1104509
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Journal of Logical and Algebraic Methods in Programming: NWPT 2011 Special Issue
Seceleanu, Cristina
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
ORCID iD:
0000-0003-2870-2680
Pettersson, Paul
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
ORCID iD:
0000-0003-4040-3480
2015 (English)
Conference proceedings (editor) (Other academic)
Place, publisher, year, edition, pages
Sweden: Elsevier , 2015.
National Category
Computer Systems
Identifiers
URN:
urn:nbn:se:mdh:diva-35436
OAI: oai:DiVA.org:mdh-35436
DiVA, id:
diva2:1104509
Conference
The 23rd Nordic Workshop on Programming Theory (NWPT 2011)
Available from:
2017-06-01
Created:
2017-06-01
Last updated:
2017-06-01
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
http://www.sciencedirect.com/science/journal/23522208/84/1
Authority records
Seceleanu, Cristina
Pettersson, Paul
Search in DiVA
By author/editor
Seceleanu, Cristina
Pettersson, Paul
By organisation
Embedded Systems
On the subject
Computer Systems
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 51 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35436
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1104509
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.44.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in
DiVA
Logotyp