tCJ-OE11

Modeling and Verification of Parallel Processes, revised Tutorial Lectures. Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Ryan (eds.), LNCS Tutorials, No 2067, Springer, December 2001.

Keyword

[ Monitoring ]

BibTex Reference

@Book{tCJ-OE11,
   Title = {Modeling and Verification of Parallel Processes, revised Tutorial    Lectures},
   editor = {Cassez, Franck and Jard, Claude and Rozoy, Brigitte and Ryan, Mark},
   Number = {2067},
   Series = {LNCS Tutorials},
   Publisher = {Springer},
   Month = {December},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)