Mathematical and engineering methods in computer science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised selected papers /

“…Stochastic Steiner Tree Problems /…”
Full Text (via Springer)

Testing software and systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings /

“…Parametric Temporal Logic Properties on Embedded Systems /…”
Full Text (via Springer)

Principles and practice of constraint programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings /

“…Are the Interesting Problems? /…”
Full Text (via Springer)

Fundamentals of software engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers /

“…Approximations for Properties Verification over CCS Specifications /…”
Full Text (via Springer)

FM 2012 formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings /

“…Robustness in Scheduling Problems /…”
Full Text (via Springer)

Modelling foundations and applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /

Full Text (via Springer)

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /

“…Semimodules for Energy Problems /…”
Full Text (via Springer)

Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, proceedings /

“…Behavioral Latent System Properties /…”
Full Text (via Springer)

Service-oriented computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised selected...

“…Workshop on Non-Functional Properties and Service Level Agreements Management in …”
Full Text (via Springer)