Editorial

Verfasser / Beitragende:
[Michael Butler, Einar Johnsen, Luigia Petre]
Ort, Verlag, Jahr:
2015
Enthalten in:
Formal Aspects of Computing, 27/4(2015-07-01), 611-612
Format:
Artikel (online)
ID: 605516340
LEADER caa a22 4500
001 605516340
003 CHVBK
005 20210128100713.0
007 cr unu---uuuuu
008 210128e20150701xx s 000 0 eng
024 7 0 |a 10.1007/s00165-015-0338-y  |2 doi 
035 |a (NATIONALLICENCE)springer-10.1007/s00165-015-0338-y 
245 0 0 |a Editorial  |h [Elektronische Daten]  |c [Michael Butler, Einar Johnsen, Luigia Petre] 
540 |a British Computer Society, 2015 
700 1 |a Butler  |D Michael  |u Southampton, UK  |4 aut 
700 1 |a Johnsen  |D Einar  |u Oslo, Norway  |4 aut 
700 1 |a Petre  |D Luigia  |u Turku, Finland  |4 aut 
773 0 |t Formal Aspects of Computing  |d Springer London  |g 27/4(2015-07-01), 611-612  |x 0934-5043  |q 27:4<611  |1 2015  |2 27  |o 165 
856 4 0 |u https://doi.org/10.1007/s00165-015-0338-y  |q text/html  |z Onlinezugriff via DOI 
898 |a BK010053  |b XK010053  |c XK010000 
900 7 |a Metadata rights reserved  |b Springer special CC-BY-NC licence  |2 nationallicence 
908 |D 1  |a editorial  |2 jats 
949 |B NATIONALLICENCE  |F NATIONALLICENCE  |b NL-springer 
950 |B NATIONALLICENCE  |P 856  |E 40  |u https://doi.org/10.1007/s00165-015-0338-y  |q text/html  |z Onlinezugriff via DOI 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Butler  |D Michael  |u Southampton, UK  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Johnsen  |D Einar  |u Oslo, Norway  |4 aut 
950 |B NATIONALLICENCE  |P 700  |E 1-  |a Petre  |D Luigia  |u Turku, Finland  |4 aut 
950 |B NATIONALLICENCE  |P 773  |E 0-  |t Formal Aspects of Computing  |d Springer London  |g 27/4(2015-07-01), 611-612  |x 0934-5043  |q 27:4<611  |1 2015  |2 27  |o 165