Design and Evaluation of a Visual Formalism for Real Time Logics.
VenueATACAS
Year1998
ProceedingsServices and Visualization: Towards User-Friendly Design
DBLP recordconf/tacas/LusiniV98 ↗
Browse the full TACAS paper archive.
Browse the full TACAS paper archive.