International Conference on Reachability Problems
id:
international-conference-on-reachability-problems-274-5873962
title:
International Conference on Reachability Problems
text:
RP, the International Conference on Reachability Problems is an annual academic conference in the
field of computer science. The RP is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in Algebraic structures
Automata Theory and Formal languages
Concurrency and Distributed computations
Decision Procedures in Computational models
Hybrid systems
Logic and Model checking
Formal verification of Finite and Infini
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/International_Conference_on_Reachability_Problems
date created:
date modified:
2023-11-15T22:57:08Z
main entity:
{"identifier":"Q17141558","url":"https://www.wikidata.org/entity/Q17141558"}
image:
fields total:
13
integrity:
13