A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Baum, Gabriel A
Frias, Marcelo F
Maibaum, Thomas

status

published

publication date

1998

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

7th International Conference on Algebraic Methodology and Software Technology (AMAST 98) Conference