Sciweavers

On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study
Recent Google, Yahoo, MSN search queries leading to this post
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study