Introduction to artificial intelligence
Introduction to artificial intelligence
The C++ programming language
A logic for simulating discontinous systems
WSC '89 Proceedings of the 21st conference on Winter simulation
A mechanism for facilitating temporal reasoning in discrete event simulation
A mechanism for facilitating temporal reasoning in discrete event simulation
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Independent verification and validation: a missing link in simulation methodology?
WSC '96 Proceedings of the 28th conference on Winter simulation
| Hi-index | 0.00 |