Contact usSend your remarks and questions to the Ilmenau University Library.
Your message regarding the following title:
Title: Automata for Epistemic Temporal Logic with Synchronous Communication
Author: Mohalik, Swamp
Other Involved Persons: Ramanujam, R.
Source: Journal of Logic, Language, and Information, Vol. 19, No. 4 (2010), p. 451-484