Symbolic Trajectory Evaluation

From MaRDI portal
Publication:3176383