Reasoning about Action Systems using the B-Method

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

27 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Sivut	5-35
Julkaisu	Formal Methods in System Design
Vuosikerta	13
Numero	1
DOI - pysyväislinkit	https://doi.org/10.1023/A:1008688421367
Tila	Julkaistu - 1998
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@article{50297a279ba341038db453511e1c4641,

title = "Reasoning about Action Systems using the B-Method",

author = "Marina Wald{\'e}n and Kaisa Sere",

year = "1998",

doi = "10.1023/A:1008688421367",

language = "English",

volume = "13",

pages = "5--35",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}