The following pages link to Bruno D. Lopes (Q489209):
Displaying 8 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)
- Propositional dynamic logic for Petri nets (Q4644609) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
