Search Results - Laroussinie, François

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    CONCUR 2010--concurrency theory 21st international conference, CONCUR 2010, Paris, France, August 21-September 3, 2010 : proceedings /

    Published 2010
    Other Authors: “…Laroussinie, François…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Systems and Software Verification : Model-Checking Techniques and Tools / by Bérard, Béatrice

    Published 2001
    Other Authors: “…Laroussinie, François…”
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search