Translating FSP Into LOTOS and Networks of Automata
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-009-0133-8
Full Text
Open PDFAbstract
Available in full text
Date
November 18, 2009
Authors
Publisher
Springer Science and Business Media LLC