kth.se
Publications
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:kth:diva-326091
Direct link
https://kth.diva-portal.org/smash/record.jsf?pid=diva2:1752583
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
Preface
Kovács, L.
Faculty of Informatics, TU Wien, Vienna, Austria.
Meinke, Karl
KTH, School of Electrical Engineering and Computer Science (EECS), Computer Science, Theoretical Computer Science, TCS.
ORCID iD:
0000-0002-9706-5008
2009 (English)
In:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Medknow , 2009, Vol. 11, p. 1-
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Medknow , 2009. Vol. 11, p. 1-
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:kth:diva-326091
DOI:
10.4103/1463-1741.45305
ISI:
000207820700001
Scopus ID:
2-s2.0-85134329461
OAI: oai:DiVA.org:kth-326091
DiVA, id:
diva2:1752583
Conference
16th International Conference on Tests and Proofs, TAP 2022, held as part of the Federated Conference on Software Technologies: Applications and Foundations, STAF 2022, Nantes, 5 July 2022
Note
QC 20230424
Available from:
2023-04-24
Created:
2023-04-24
Last updated:
2023-04-24
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Scopus
Authority records
Meinke, Karl
Search in DiVA
By author/editor
Meinke, Karl
By organisation
Theoretical Computer Science, TCS
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
urn-nbn
Altmetric score
doi
urn-nbn
Total: 49 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:kth:diva-326091
Direct link
https://kth.diva-portal.org/smash/record.jsf?pid=diva2:1752583
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.47.0
|
WCAG
|
KTH Library
|
DiVA support
|
Register in DiVA
|
Posting your thesis
|
SwePub
DiVA
Logotyp