9780412847608 - formal description techniques and protocol specification, testing and verification: forte xi/pstv xviii’98 ifip tc6 wg6.1 joint international ... and communication technology, 6, band 6) (1 Ergebnisse)