Jump to : Contact | BibTex reference | EndNote reference |

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
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)