Showing 1 - 4 results of 4 for search 'Wiklicky, Herbert', query time: 0.02s Refine Results
  1. 1
    Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
    Published 2006
    Other Authors: “…Wiklicky, Herbert…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
    by Aldini, Alessandro
    Published 2010
    Other Authors: “…Wiklicky, Herbert…”
    Get full text
    Electronic Kit Book
  3. 3
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
    Published 2010
    Other Authors: “…Wiklicky, Herbert…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures /
    Published 2013
    Other Authors: “…Wiklicky, Herbert…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search