Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. - Citegraph

Paper Info

Title
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.

Year	Venue	DocType
2018	ABZ	Conference
Citations	PageRank	References
0	0.34	0
Authors
4

Authors (4 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Guillaume Dupont	1	2	3.76
Yamine Aït Ameur	2	287	52.61
Marc Pantel	3	146	33.11
Neeraj Kumar Singh	4	113	21.89

1