Structural operational specifications and trace automata

Bibliographic Details
Main Author: Badouel, Eric (Author)
Other Involved Persons: Darondeau, Philippe
Format: Book
Language:English
Published: Le Chesnay : Inst. National de Recherche en Informatique et en Automatique 1992
Series:Institut National de Recherche en Informatique et en Automatique. Rapports de recherche 1631
Physical Description:34 S.
Subjects:
QR Code: Show QR Code