📄 Journal Article
Core Hybrid Event-B I: Single Hybrid Event-B machines
74
Citations
5
Authors
77
References
3
Countries
Authors (5) 1 from IIT Delhi
Publication Details
| Type | Journal Article |
|---|---|
| Published | February 11, 2015 |
| Source | Science of Computer Programming |
| Publisher | Elsevier BV |
| Volume/Issue | Vol. 105 , pp. 92-123 |
| DOI | 10.1016/j.scico.2015.02.003 |
| OpenAlex ID | W2143110421 |
| Open Access | bronze Access Free PDF |