×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [mucrl specification]
Home >
mucrl specification
Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL
27 views
Eliminating Overlapping in Pattern Matching when Verifying Erlang Programs in muCRL
22 views