Cyrano Ruiz Cabarrus

CR

Statistics

Publications

1

Citations

75

H-Index

1

Active since

1998

Cyrano Ruiz Cabarrus is an author at Universidad Francisco Marroquín specializing in branching temporal logic, specification languages, and branching logic.

Publications per year

1998–1998

1

Publications

1