DMCA

Visual Temporal Logic as a Rapid Prototyping Tool (2000)

by Martin Fränzle , Karsten Lüth
Venue:Computer Languages
Citations:5 - 0 self