PRAXIS/C/MAT/10002/98

Identification

Description level

Reference code

PT/FCT/FCT/DPP/001/2646

Title

PRAXIS/C/MAT/10002/98

Holding entity

Fundação para a Ciência e a Tecnologia

Initial date

1998

Final date

2002

Dimension and support / Extents

0,33 x 0,09 - Papel A4

Content and structure

Scope and content

Contém 1 processo de financiamento, no âmbito do Programa PRAXIS XXI - Projectos de Investigação Científica e de Desenvolvimento Tecnológico, ao seguinte projecto:Projecto "PROBabilistic methods in LOGIC of reactive systems" (PRAXIS/C/MAT/10002/98), proposto pelo Instituto Superior Técnico e executado pelo Centro de Matemática Aplicada do mesmo instituto. Investigador responsável: Amílcar dos Santos Costa Sernadas.

Access and use

Language of the material

por, eng

Comments

PRAXIS/C/MAT/10002/98

My list

Warning!