The following pages link to Bruno D. Lopes (Q489209):
Displaying 12 items.
- (Q281152) (redirect page) (← links)
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- Limit cycles for a class of continuous and discontinuous cubic polynomial differential systems (Q489211) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- Limit cycles bifurcating from the periodic annulus of the weight-homogeneous polynomial centers of weight-degree 2 (Q668790) (← links)
- Limit cycles of cubic polynomial differential systems with rational first integrals of degree 2 (Q902794) (← links)
- Piecewise implicit differential systems (Q1692104) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case (Q2798046) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- Propositional dynamic logic for Petri nets (Q4644609) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
