Algebraic methodology and software technology: 13th international conference, AMAST 2010, Lac-Be…
by Johnson, Michael, Pavlovic, Dusko, International Conference on Algebraic Methodology and Software Technology, Lac-Beauport, Québec), AMAST, Lac Beauport, AMAST, Lac-Beauport, QC)
fromLecture Notes in Computer Science
Stabilization, safety, and security of distributed systems: 13th international symposium, SSS 2011, Grenoble,…
by Petit, Franck, Défago, Xavier, Villain, Vincent, SSS, Grenoble, International Symposium on Stabilization, Safety, and Security of Distributed Systems, Grenoble)
fromLecture Notes in Computer Science
Descriptional complexity of formal systems: 13 international workshop, DCFS 2011, Limburg, Ge…
by Kutrib, Martin, Pighizzini, Giovanni, Holzer, Markus, DCFS, Limburg a. d. Lahn, DCFS, Gießen/Limburg, International Workshop of Descripitional Complexity of Formal Systems, Gießen/Limburg
fromLecture Notes in Computer Science
Descriptional complexity of formal systems: 13 international workshop, DCFS 2011, Gießen/Limb…
by Kutrib, Martin, Pighizzini, Giovanni, Holzer, Markus, DCFS, Limburg a. d. Lahn, DCFS, Limburg), International Workshop of Descripitional Complexity of Formal Systems, Limburg)
fromLecture Notes in Computer Science
