Showing 1 - 4 results of 4 for search 'Leuschel, Michael', query time: 0.03s Refine Results
  1. 1
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings by Leuschel, Michael

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  2. 2
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers by Boer, Frank S. de

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
    Other Authors:
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:
  3. 3
    Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

    Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

    Cham : Springer Nature Switzerland : Imprint: Springer, 2024
    1st ed. 2024.
    Other Authors:
    Format: Electronic eBook
    Full text (Wentworth users only)
    Save to List
    Saved in:
  4. 4
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings by Derrick, John

    Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
    Other Authors:
    Format: Electronic eBook
    Full text (Wentworth users only).
    Save to List
    Saved in:

Search Tools: