Artículo:

Assertion Checking in J-Sim Simulation Models of Network Protocols

Autor:

Ahmed Sobeih,

Marcelo d'Amorim,

Mahesh Viswanathan,

Darko Marinov,

and Jennifer C. Hou

Página:

651

Publicación:

Simulation

Volúmen:

86

Número:

11

Periodo:

Noviembre 2010

ISSN:

00375497

SrcID:

00375497-2010-11.txt