Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Kutrib, Martin.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: SpringerLink (Online service); Reis, Rogerio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kutrib, Martin.; Moreira, Nelma. (Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: Delmas, David.; Oliveira, José N.; Kutrib, Martin.; Moreira, Nelma.; Luckcuck, Matt.; Guidotti, Riccardo.; Marmsoler, Diego.; Monteiro, Pedro.; Ratiu, Daniel.; Gonnord, Laure.; Sekerinski, Emil.; Farrell, Marie.; Cerone, Antonio.; Campos, José.; Dongol, Brijesh.; SpringerLink (Online service); Couto, Luis.; Astarte, Troy. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: Kutrib, Martin.; Bordihn, Henning.; Truthe, Bianca.; SpringerLink (Online service) (Language materials, printed)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings / by: SpringerLink (Online service); Kutrib, Martin.; Baetens, Jan M. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: Kutrib, Martin.; Malcher, Andreas.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Kari, Jarkko. (Language materials, printed)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: Kutrib, Martin.; Holzer, Markus.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Pighizzini, Giovanni. (Language materials, printed)
Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: Cerone, Antonio.; Campos, José.; Farrell, Marie.; Dongol, Brijesh.; SpringerLink (Online service); Couto, Luis.; Astarte, Troy.; Oliveira, José N.; Delmas, David.; Kutrib, Martin.; Moreira, Nelma.; Luckcuck, Matt.; Marmsoler, Diego.; Guidotti, Riccardo.; Gonnord, Laure.; Monteiro, Pedro.; Ratiu, Daniel.; Sekerinski, Emil. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login