Gazagnaire08

Thomas Gazagnaire. Scenario Languages: Using Partial Orders to Model, Verify and Supervize Distributed and Concurrent Systems. PhD Thesis Université de Rennes 1, 2008.

BibTex Reference

@PhdThesis{Gazagnaire08,
   Author = {Gazagnaire, Thomas},
   Title = {Scenario Languages: Using Partial Orders to Model, Verify and Supervize    Distributed and Concurrent Systems},
   School = {Université de Rennes 1},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)