Engineering of Computer Based Systems, 10th Annual IEEE International Conference on Temporal Logic, 4th International Conference On

Författare: Ala.) 2003 : (10th IEEE International Conference and Workshop on the Engineering of Computer Based Systems Huntsville
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat