"Modeling and Verification of Reactive Software Using LOTOS."

Grzegorz Rogus, Tomasz Szmuc (2005)

Details and statistics

DOI:

access: closed

type: Part in Book or Collection

metadata version: 2012-03-13