Original language | English |
---|---|
Title of host publication | Proc. of Formal Methods for Components and Objects (FMCO) 2009 |
Publisher | . |
Pages | 228-249 |
Volume | 6286 |
Publication status | Published - 2010 |
Publication series
Name | LNCS |
---|
Treatment code (Nähere Zuordnung)
- Application