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
-
- 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 texte intégral et bibtex
-
- coll_IFIP
- 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
- Accès au texte intégral et bibtex
-
2019
- coll_IFIP
- 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
- Accès au 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
-
- coll_IFIP
- 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
- Accès au bibtex
-
2018
- coll_IFIP
- 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
- Accès au bibtex
-
- 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
-
- coll_IFIP
- 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
- Accès au bibtex
-
2017
- coll_IFIP
- Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
- Accès au bibtex
-
- coll_IFIP
- 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
- Accès au bibtex
-
- coll_IFIP
- 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
- Accès au 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
-
2016
- coll_IFIP
- 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
- Accès au bibtex
-
- coll_IFIP
- 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016
- Accès au 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
-
- coll_IFIP
- The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015
- Accès au bibtex
-
2015
- coll_IFIP
- 21st IFIPWG 1.5 InternationalWorkshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015
- Accès au 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
-
2013
- coll_IFIP
- 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012
- Accès au bibtex
-
2012
- 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
-
- 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
-