Autor
Cargando información...
FuenteNo disponible | Cuartil año de publicaciónNo disponible | VolumenNo disponible |
IssueNo disponible | Páginas211 - 251 | pISSNNo disponible |
ISSNNo disponible | Perfil OpenAlexNo disponible | |
| Minciencias ID | CAP_LIB-0000086614-30020 | Scienti ID | 0000086614-30020 | Doi URL | https://doi.org/10.1002/9781119002727.ch9 |
|---|---|---|---|---|---|
| Scholar citations URL | https://scholar.google.com/scholar?cites=11212831514834975495&as_sdt=2005&sciodt=0,5&hl=en | Openalex URL | https://openalex.org/W1599932539 | Pdf URL | https://www.academia.edu/download/42077321/Translating_B_and_Event-B_Machines_to_Ja20160204-9568-1o5saf9.pdf |
| Scholar URL | https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3ABzsLyNr6m5sJ%3Ascholar.google.com&btnG= | ||||
