Statistics
Publications
1
Citations
16
H-Index
1
Active since
2006
Carmen Penadés is an author specializing in dynamic logic, emergency, and dynamic logic models.
Publications per year
2006–2006
1
1
Precise yet Flexible Specification of Emergency Resolution Procedures
Manuel Llavador, Patricio Letelier, Carmen Penadés et al. · 2006 · 16 citations
1–1 of 1