in SCIENCE OF COMPUTER PROGRAMMING, ISSN: 0167-6423
Volume: 46, Issue: 3, Pages: 197-217 (21)
Conference
5Th Ercim International Workshop on Forman Methods for Industrial Critical Systems (Fmics), Date: APR 03-04, 2000, Location: BERLIN, GERMANY, Sponsors: GMD Res Inst Open Communicat Syst