[IEEE Comput. Soc Tenth International Workshop on Software Specification and Design. IWSSD-10 2000 - San Diego, CA, USA (5-7 Nov. 2000)] Tenth International Workshop on Software Specification and Design. IWSSD-10 2000 - Specification and analysis of timed and functional TRMCS behaviours

✍ Scribed by Cioffi, M.; Corradini, F.

• Book ID: 120540728
• Publisher: IEEE Comput. Soc
• Year: 2000
• Tongue: English
• Weight: 648 KB
• Category: Article
• ISBN-13: 9780769508849
• DOI: 10.1109/IWSSD.2000.891124