NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Maude Protocol Specification Language (Maude-PSL)"”.

  1. Maude-PSL: a new input language for Maude-NPA

    Cholewa, Andrew RusselUniversity of Illinois at Urbana-Champaign2015

    DSpace SAF Submission Ingestion Package generated from Vireo submission #8115 on 2015-07-22 at 10:34:04

    uiuc Repository record