Cellular Automata and Discrete Complex Systems: 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Gespeichert in:
Format: | Elektronisch Tagungsbericht E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin, Heidelberg
Springer
2015
|
Schriftenreihe: | Lecture Notes in Computer Science
9099 |
Schlagworte: | |
Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (X, 263 p. 80 illus) |
ISBN: | 9783662472217 9783662472200 |
ISSN: | 0302-9743 |
DOI: | 10.1007/978-3-662-47221-7 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV042669811 | ||
003 | DE-604 | ||
005 | 20150709 | ||
006 | a |||| 10||| | ||
007 | cr|uuu---uuuuu | ||
008 | 150703s2015 |||| o||u| ||||||eng d | ||
020 | |a 9783662472217 |c Online |9 978-3-662-47221-7 | ||
020 | |a 9783662472200 |c Print |9 978-3-662-47220-0 | ||
024 | 7 | |a 10.1007/978-3-662-47221-7 |2 doi | |
035 | |a (OCoLC)912964785 | ||
035 | |a (DE-599)BVBBV042669811 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
082 | 0 | |a 004.0151 |2 23 | |
084 | |a DAT 550f |2 stub | ||
084 | |a DAT 000 |2 stub | ||
084 | |a DAT 500f |2 stub | ||
245 | 1 | 0 | |a Cellular Automata and Discrete Complex Systems |b 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings |c edited by Jarkko Kari |
264 | 1 | |a Berlin, Heidelberg |b Springer |c 2015 | |
300 | |a 1 Online-Ressource (X, 263 p. 80 illus) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Lecture Notes in Computer Science |v 9099 |x 0302-9743 | |
650 | 4 | |a Computer science | |
650 | 4 | |a Computer Communication Networks | |
650 | 4 | |a Computer software | |
650 | 4 | |a Computational complexity | |
650 | 4 | |a Computer simulation | |
650 | 4 | |a Computer Science | |
650 | 4 | |a Computation by Abstract Devices | |
650 | 4 | |a Algorithm Analysis and Problem Complexity | |
650 | 4 | |a Simulation and Modeling | |
650 | 4 | |a Discrete Mathematics in Computer Science | |
650 | 4 | |a Informatik | |
650 | 0 | 7 | |a Zellularer Automat |0 (DE-588)4190671-8 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Turku |2 gnd-content | |
689 | 0 | 0 | |a Zellularer Automat |0 (DE-588)4190671-8 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Kari, Jarkko |e Sonstige |0 (DE-588)1045506079 |4 oth | |
710 | 2 | |a International Federation for Information Processing |b Working Group 1.5 Cellular Automata and Discrete Complex Systems |e Sonstige |0 (DE-588)1073538664 |4 oth | |
711 | 2 | |a AUTOMATA |n 21. |d 2015 |c Turku |j Sonstige |0 (DE-588)1071629883 |4 oth | |
830 | 0 | |a Lecture Notes in Computer Science |v 9099 |w (DE-604)BV014880109 |9 9099 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-47221-7 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
940 | 1 | |q ZDB-2-SCS_2015 | |
940 | 1 | |q ZDB-2-LNC_2015 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-028101895 |
Datensatz im Suchindex
_version_ | 1804174859774722048 |
---|---|
adam_text | CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
DYNAMICAL, TOPOLOGICAL, ERGODIC AND ALGEBRAIC ASPECTS
ALGORITHMIC AND COMPLEXITY ISSUES
EMERGENT PROPERTIES
FORMAL LANGUAGE PROCESSING ASPECTS
SYMBOLIC DYNAMICS
MODELS OF PARALLELISM AND DISTRIBUTED SYSTEMS
TIMING SCHEMES
PHENOMENOLOGICAL DESCRIPTIONS
SCIENTIFIC MODELING
PRACTICAL APPLICATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
CELLULAR AUTOMATA AND DISCRETE COMPLEX SYSTEMS
/
: 2015
ABSTRACT / INHALTSTEXT
THIS VOLUME CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 21ST
INTERNATIONAL WORKSHOP ON CELLULAR AUTOMATA AND DISCRETE COMPLEX
SYSTEMS, AUTOMATA 2015, HELD IN TURKU, FINLAND, IN JUNE 2015. THIS
VOLUME CONTAINS 4 INVITED TALKS IN FULL-PAPER LENGTH AND 15 REGULAR
PAPERS, WHICH WERE CAREFULLY REVIEWED AND SELECTED FROM A TOTAL OF 33
SUBMISSIONS. TOPICS OF INTEREST INCLUDE, THE FOLLOWING ASPECTS AND
FEATURES OF SUCH SYSTEMS: DYNAMICAL, TOPOLOGICAL, ERGODIC AND ALGEBRAIC
ASPECTS; ALGORITHMIC AND COMPLEXITY ISSUES; EMERGENT PROPERTIES; FORMAL
LANGUAGE PROCESSING ASPECTS; SYMBOLIC DYNAMICS; MODELS OF PARALLELISM
AND DISTRIBUTED SYSTEMS; TIMING SCHEMES; PHENOMENOLOGICAL DESCRIPTIONS;
SCIENTIFIC MODELING; AND PRACTICAL APPLICATIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author_GND | (DE-588)1045506079 |
building | Verbundindex |
bvnumber | BV042669811 |
classification_tum | DAT 550f DAT 000 DAT 500f |
collection | ZDB-2-SCS ZDB-2-LNC |
ctrlnum | (OCoLC)912964785 (DE-599)BVBBV042669811 |
dewey-full | 004.0151 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.0151 |
dewey-search | 004.0151 |
dewey-sort | 14.0151 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
doi_str_mv | 10.1007/978-3-662-47221-7 |
format | Electronic Conference Proceeding eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03032nmm a2200637zcb4500</leader><controlfield tag="001">BV042669811</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150709 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150703s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662472217</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-47221-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662472200</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-47220-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-47221-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)912964785</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042669811</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Cellular Automata and Discrete Complex Systems</subfield><subfield code="b">21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings</subfield><subfield code="c">edited by Jarkko Kari</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 263 p. 80 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9099</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zellularer Automat</subfield><subfield code="0">(DE-588)4190671-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Turku</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zellularer Automat</subfield><subfield code="0">(DE-588)4190671-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kari, Jarkko</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1045506079</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group 1.5 Cellular Automata and Discrete Complex Systems</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1073538664</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">AUTOMATA</subfield><subfield code="n">21.</subfield><subfield code="d">2015</subfield><subfield code="c">Turku</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1071629883</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9099</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9099</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-47221-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028101895</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift 2015 Turku gnd-content |
genre_facet | Konferenzschrift 2015 Turku |
id | DE-604.BV042669811 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:07:06Z |
institution | BVB |
institution_GND | (DE-588)1073538664 (DE-588)1071629883 |
isbn | 9783662472217 9783662472200 |
issn | 0302-9743 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028101895 |
oclc_num | 912964785 |
open_access_boolean | |
owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource (X, 263 p. 80 illus) |
psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
publishDate | 2015 |
publishDateSearch | 2015 |
publishDateSort | 2015 |
publisher | Springer |
record_format | marc |
series | Lecture Notes in Computer Science |
series2 | Lecture Notes in Computer Science |
spelling | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings edited by Jarkko Kari Berlin, Heidelberg Springer 2015 1 Online-Ressource (X, 263 p. 80 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9099 0302-9743 Computer science Computer Communication Networks Computer software Computational complexity Computer simulation Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Simulation and Modeling Discrete Mathematics in Computer Science Informatik Zellularer Automat (DE-588)4190671-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Turku gnd-content Zellularer Automat (DE-588)4190671-8 s DE-604 Kari, Jarkko Sonstige (DE-588)1045506079 oth International Federation for Information Processing Working Group 1.5 Cellular Automata and Discrete Complex Systems Sonstige (DE-588)1073538664 oth AUTOMATA 21. 2015 Turku Sonstige (DE-588)1071629883 oth Lecture Notes in Computer Science 9099 (DE-604)BV014880109 9099 https://doi.org/10.1007/978-3-662-47221-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings Lecture Notes in Computer Science Computer science Computer Communication Networks Computer software Computational complexity Computer simulation Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Simulation and Modeling Discrete Mathematics in Computer Science Informatik Zellularer Automat (DE-588)4190671-8 gnd |
subject_GND | (DE-588)4190671-8 (DE-588)1071861417 |
title | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings |
title_auth | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings |
title_exact_search | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings |
title_full | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings edited by Jarkko Kari |
title_fullStr | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings edited by Jarkko Kari |
title_full_unstemmed | Cellular Automata and Discrete Complex Systems 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings edited by Jarkko Kari |
title_short | Cellular Automata and Discrete Complex Systems |
title_sort | cellular automata and discrete complex systems 21st ifip wg 1 5 international workshop automata 2015 turku finland june 8 10 2015 proceedings |
title_sub | 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings |
topic | Computer science Computer Communication Networks Computer software Computational complexity Computer simulation Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Simulation and Modeling Discrete Mathematics in Computer Science Informatik Zellularer Automat (DE-588)4190671-8 gnd |
topic_facet | Computer science Computer Communication Networks Computer software Computational complexity Computer simulation Computer Science Computation by Abstract Devices Algorithm Analysis and Problem Complexity Simulation and Modeling Discrete Mathematics in Computer Science Informatik Zellularer Automat Konferenzschrift 2015 Turku |
url | https://doi.org/10.1007/978-3-662-47221-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028101895&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV014880109 |
work_keys_str_mv | AT karijarkko cellularautomataanddiscretecomplexsystems21stifipwg15internationalworkshopautomata2015turkufinlandjune8102015proceedings AT internationalfederationforinformationprocessingworkinggroup15cellularautomataanddiscretecomplexsystems cellularautomataanddiscretecomplexsystems21stifipwg15internationalworkshopautomata2015turkufinlandjune8102015proceedings AT automataturku cellularautomataanddiscretecomplexsystems21stifipwg15internationalworkshopautomata2015turkufinlandjune8102015proceedings |