Alain Cougoulic. An Extension of Logical Formalisms to Simulate System Behaviors. In Acts of the Workshop Foundation of Component-Based Systems in ESEC'97, Zurich, Suisse, Volume I, Pages 71-80, 1997.
@InProceedings{Cou97,
Author = {Cougoulic, Alain},
Title = {An Extension of Logical Formalisms to Simulate System Behaviors},
BookTitle = {Acts of the Workshop Foundation of Component-Based Systems in ESEC'97, Zurich, Suisse},
Volume = {I},
Pages = {71--80},
Year = {1997}
}
Get EndNote Reference (.ref)