Automatic Abstraction in Symbolic Trajectory EvaluationReportar como inadecuado




Automatic Abstraction in Symbolic Trajectory Evaluation - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Sara Adams, Magnus Björk, Tom Melham et al., (2007). Automatic Abstraction in Symbolic Trajectory Evaluation.Citable link to this page:

 

Automatic Abstraction in Symbolic Trajectory Evaluation

Bibliographic Details

Publisher: IEEE Computer Society

Host: Formal Methods in Computer Aided Design: FMCAD 2007: November 11–14 2007‚ Austin‚ Texas‚ USAsee more from them

Issue Date: 2007Identifiers

Urn: uuid:7d2e5aa4-f70d-444f-8113-6df895816327

Doi: https://doi.org/10.1109/.27

Isbn: 978-0-7695-3023-9 Item Description

Type: Conference paper; Tiny URL: cs:4680

Relationships





Autor: Sara Adams - - - Magnus Björk - - - Tom Melham - - - Carl−Johan Seger - - - - Bibliographic Details Publisher: IEEE Computer S

Fuente: https://ora.ox.ac.uk/objects/uuid:7d2e5aa4-f70d-444f-8113-6df895816327



DESCARGAR PDF




Documentos relacionados