Artículo:

Specification-based Verification in a Distributed Shared Memory Simulation Model

Autor:

Worawan Marurngsith

Página:

229

Publicación:

Simulation

Volúmen:

86

Número:

4

Periodo:

Abril 2010

ISSN:

00375497

SrcID:

00375497-2010-04.txt