P. J. A. de Villiers

List of publications from the DBLP Bibliography Server - FAQ

1999

1 EE Jaco Geldenhuys, P. J. A. de Villiers: Runtime Efficient State Compaction in SPIN. SPIN 1999: 12-21

1999
1	EE	Jaco Geldenhuys, P. J. A. de Villiers: Runtime Efficient State Compaction in SPIN. SPIN 1999: 12-21

Coauthor Index