conference paper

Combining model reductions

Camporesi, Fernanda
•
Feret, Jerome
•
Koeppl, Heinz
Show more
2010
Electronic Notes in Theoretical Computer Science
26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010)
Loading...
Thumbnail Image
Name

mfpsXXVI.pdf

Access type

openaccess

Size

1.78 MB

Format

Adobe PDF

Checksum (MD5)

ceb26d0d60d681f480885f54c297cb9b