-
Selection by year
-
Selection by authors
-
Complete lists
BadouelD92
Eric Badouel, Philippe Darondeau. Structural Operational Specifications and the Trace Automata. In Conference on Concurrency Theory, CONCUR, Lecture Notes in Computer Science, Volume 630, Pages 302-316, 1992.
Contact
Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
Philippe Darondeau
BibTex Reference
@InProceedings{BadouelD92,
Author = {Badouel, Eric and Darondeau, Philippe},
Title = {Structural Operational Specifications and the Trace Automata},
BookTitle = {Conference on Concurrency Theory, CONCUR},
Volume = {630},
Pages = {302--316},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Year = {1992}
}
EndNote Reference [help]
Get EndNote Reference (.ref)