Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

No authors of 1003.4803 can endorse.

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Benoît Boyer and Thomas Genet are not registered as owners of this paper. (why?)