MPG.eBooks - Search Results - "computer science"

Cover Image

1

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”