Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
R. Karlsen
and
F. Eliassen
Title
Parameterizing Correctness for Federative Transactions
Status
Published
Publication Type
Proceedings, refereed
Year of Publication
1993
Conference Name
Proceedings Norwegian Informatics Conference 1993 (NIK'93)
Publisher
TAPIR,
Citation Key
ND.5.Karlsen.1993
Google Scholar
BibTeX