Você está em: Start > Publications > View > Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
Map of Premises
Publications
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
Title
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
Type
International Conference Proceedings Book
Year
1994
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
3-540-58241-X
Collection:
Lecture Notes in Computer Science
Vol.:
827
Documents
We could not find any documents associated to the publication.
Publications included
Article in International Conference Proceedings Book
Cristina Ribeiro (Author) (FEUP); António Porto (Author) (Other)
1994
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto
I Terms and Conditions
I Acessibility
I Index A-Z
Page created on: 2025-08-30 at 07:49:23 | Privacy Policy | Personal Data Protection Policy | Whistleblowing
Page created on: 2025-08-30 at 07:49:23 | Privacy Policy | Personal Data Protection Policy | Whistleblowing