On translating models and properties

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	American English
Title of host publication	Models, Algebras and Logic of Engineering Software
Subtitle of host publication	NATO Science Series, III: Computer and Systems Sciences
Editors	M Broy, M Pizka
Pages	209-225
Volume	191
State	Published - 2003

Keywords

@inbook{253ade1a310340488e22062da0e3f827,

title = "On translating models and properties",

keywords = "Computer Sciences, mathematics, statistics",

author = "Shmuel Katz",

year = "2003",

language = "American English",

isbn = "978-1-58603-342-2",

volume = "191",

pages = "209--225",

editor = "M Broy and M Pizka",

booktitle = "Models, Algebras and Logic of Engineering Software",

}

TY - CHAP

T1 - On translating models and properties

AU - Katz, Shmuel

PY - 2003

Y1 - 2003

KW - Computer Sciences

KW - mathematics

KW - statistics

UR - https://www.iospress.com/catalog/books/models-algebras-and-logic-of-engineering-software

M3 - Chapter

SN - 978-1-58603-342-2

VL - 191

SP - 209

EP - 225

BT - Models, Algebras and Logic of Engineering Software

A2 - Broy, M

A2 - Pizka, M

ER -