Title: Construction and analysis of transition systems with MEC
First published: 1994
Subjects: Development, Software engineering, Computer software, Electronic data processing
LC classification: QA76.76.D47 A76 1994