Formal specification and runtime detection of temporal properties for asynchronous context

Imagen
Descripción
Autoría	autor: Hengfeng Wei  Jiannong Cao
Fecha de publicación	marzo 2012
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Private domain
¿Datos faltantes/errados?	Editar ítem de Wikidata