Publications HAL de la collection IFIP-TC1

2020

coll_IFIP
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-03165376/file/IFIPLNCS12281DL_2020_BookFrontmatter.pdf BibTex
coll_IFIP
15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
Accès au bibtex
BibTex

2019

coll_IFIP
25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Accès au bibtex
BibTex
coll_IFIP
21st IFIP WG 1.2 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02387282/file/IFIPLNCS11612DL_2019_BookFrontmatter.pdf BibTex
coll_IFIP
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Accès au bibtex
BibTex

2018

coll_IFIP
14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Accès au bibtex
BibTex
coll_IFIP
24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Accès au bibtex
BibTex
coll_IFIP
20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Accès au bibtex
BibTex

2017

coll_IFIP
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Accès au bibtex
BibTex
coll_IFIP
23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Accès au bibtex
BibTex
coll_IFIP
19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Accès au bibtex
BibTex
coll_IFIP
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Accès au bibtex
BibTex

2016

coll_IFIP
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015
Accès au bibtex
BibTex
coll_IFIP
18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Accès au bibtex
BibTex
coll_IFIP
22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016
Accès au bibtex
BibTex
coll_IFIP
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016
Accès au bibtex
BibTex

2015

coll_IFIP
21st IFIPWG 1.5 InternationalWorkshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015
Accès au bibtex
BibTex

2014

coll_IFIP
12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014
Accès au bibtex
BibTex

2013

coll_IFIP
21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012
Accès au bibtex
BibTex

2012

coll_IFIP
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Accès au bibtex
BibTex
coll_IFIP
7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
Accès au bibtex
BibTex