1 RESULT-FOUND-STR :[{"criteriaId":2,"value":"Z.MANNA","bool":"OR"}]

THE TOMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS SPECIFICATION

AUTHOR : Z.MANNA

LANGUAGE : ---

PUBLISHER :

PAGES-NUMBER : ---

YEAR : ---

isbn :

FORMAT : ----

NEWSLETTER

NEWS-LETTER-MSG