Modeling Multimedia Displays Using Action Based Temporal Logic

Published: 2002, Last Modified: 13 Nov 2024VDB 2002EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading