CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
EPspectra: a formal toolkit for developing DSP software applications
Theory and Practice of Logic Programming
Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences
Hi-index | 0.00 |