Open Access Open Access  Restricted Access Subscription Access

Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm

Kazuhiro OGATA, Kokichi FUTATSUGI

Full Text:



  • There are currently no refbacks.

The Florida OJ service is provided through the Florida Virtual Campus (FLVC) and the Florida Academic Library Services Cooperative (FALSC). | FLVC Privacy Policy.