Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Formal Techniques for Safety-Critical Systems (FTSCS 2015)
KTH, School of Electrical Engineering and Computer Science (EECS), Theoretical Computer Science, TCS.ORCID iD: 0000-0002-3656-1614
2018 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 154, p. 1-2Article in journal (Refereed) Published
Place, publisher, year, edition, pages
Elsevier B.V. , 2018. Vol. 154, p. 1-2
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:kth:diva-223125DOI: 10.1016/j.scico.2017.12.008ISI: 000425077800001Scopus ID: 2-s2.0-85039154257OAI: oai:DiVA.org:kth-223125DiVA, id: diva2:1193477
Note

Export Date: 13 February 2018; Editorial; CODEN: SCPGD. QC 20180327

Available from: 2018-03-27 Created: 2018-03-27 Last updated: 2018-03-27Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Artho, Cyrille

Search in DiVA

By author/editor
Artho, Cyrille
By organisation
Theoretical Computer Science, TCS
In the same journal
Science of Computer Programming
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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