- Artículo:
A Computerized Formal Means to Reason About Components In Simulation Models and Environments: Part 1: A Logic-Based Reasoning Methodology
- Autor:
K. D. Reilly
J. H. Barrett
J. J. Tarng
R. M. Hyatt
- Página:
101
- Publicación:
Transactions of The Society for Computer Simulation
- Volúmen:
12
- Número:
2
- Periodo:
Junio 1995
- ISSN:
07406797
- SrcID:
07406797-1995-02.TXT
- Documento número 1705994
- Actualizado el lunes, 13 de marzo de 2023 12:44:25 p. m.
- Creado el lunes, 13 de marzo de 2023 12:44:25 p. m.
- Enlace directo
