LIBRARY Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems 2010 · ENGLISH · PDF View details →
LIBRARY Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings 2009 · ENGLISH · PDF View details →
LIBRARY Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday 2019 · ENGLISH · PDF View details →
LIBRARY Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers 2003 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers 2005 · ENGLISH · PDF View details →
LIBRARY Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers 2004 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings 1989 · ENGLISH · PDF View details →
LIBRARY Tools for High Performance Computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden 2012 · ENGLISH · PDF View details →
LIBRARY Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings 2010 · ENGLISH · PDF View details →