"Branch testing of concurrent programs using Petri net models."

Hong-Fa Ho, Gen-Huey Chen, Te-Son Kuo (1990)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2004-05-05