External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Mu-Calculus Satisfiability with Arithmetic Constraints

Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero, Guillermo Molero-Castillo, Alejandro Velázquez-Mena. Mu-Calculus Satisfiability with Arithmetic Constraints. Programming and Computer Software, 46(8):503-510, 2020. [doi]

Authors

Yensen Limón

This author has not been identified. Look up 'Yensen Limón' in Google

Everardo Bárcenas

This author has not been identified. Look up 'Everardo Bárcenas' in Google

Edgard Benítez-Guerrero

This author has not been identified. Look up 'Edgard Benítez-Guerrero' in Google

Guillermo Molero-Castillo

This author has not been identified. Look up 'Guillermo Molero-Castillo' in Google

Alejandro Velázquez-Mena

This author has not been identified. Look up 'Alejandro Velázquez-Mena' in Google
runs on