GrabiecPhD11

Bartosz Grabiec. Distributed system supervision using timed constrained unfoldings. PhD Thesis ENS Cachan, 2011.

BibTex Reference

@PhdThesis{GrabiecPhD11,
   Author = {Grabiec, Bartosz},
   Title = {{Distributed system supervision using timed constrained unfoldings}},
   School = {ENS Cachan},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)