M
[Min99] Marius Minea. Partial-order reduction for verification of timed systems. PhD thesis, Computer Science Deparment, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA, December 1999. 
@phdthesis{phd-minea,
  author =              {Minea, Marius},
  title =               {Partial-order reduction for verification of timed
                         systems},
  year =                {1999},
  month =               dec,
  school =              {Computer Science Deparment, Carnegie Mellon
                         University, Pittsburgh, Pennsylvania, USA},
}
List of authors