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:

PDF

Refbacks

  • 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.