Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Softwaretechnik und Programmiersprachen »
Software Engineering »
Publications »
Verification of ASM Refinements Using Generalized Forward Simulation

Verification of ASM Refinements Using Generalized Forward Simulation

G. Schellhorn

Verification of ASM Refinements Using Generalized Forward Simulation

erschienen 2001
Fundstelle: Journal of Universal Computer Science (J.UCS), 7(11):952-979, 2001

Downloads:

download pdf version - (2001-ASM-refinement-pdf.pdf, 206 KB)
download postscript version - (2001-ASM-refinement-ps.ps, 186 KB)

Links:

available via the J.UCS home page (in volume 7, issue 11)