Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 books/crc/p/RuksenasMC16
%A Ruksenas, Rimvydas
%A Masci, Paolo
%A Curzon, Paul
%B From Action Systems to Distributed Systems
%D 2016
%E Petre, Luigia
%E Sekerinski, Emil
%I Chapman and Hall/CRC
%K
%P 215-230
%T Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.
%U http://dblp.uni-trier.de/db/books/collections/asds2016.html#RuksenasMC16
%@ 978-1-4987-0159-4
@incollection{books/crc/p/RuksenasMC16,
added-at = {2023-12-14T15:18:49.000+0100},
author = {Ruksenas, Rimvydas and Masci, Paolo and Curzon, Paul},
biburl = {https://www.bibsonomy.org/bibtex/25b07c0d13787579d8965f340eb719850/admin},
booktitle = {From Action Systems to Distributed Systems},
crossref = {books/crc/asds2016},
editor = {Petre, Luigia and Sekerinski, Emil},
ee = {http://dx.doi.org/10.1201/b20053-21},
interhash = {e99db8a4f04614d61dc34c60f0d63589},
intrahash = {5b07c0d13787579d8965f340eb719850},
isbn = {978-1-4987-0159-4},
keywords = {},
pages = {215-230},
publisher = {Chapman and Hall/CRC},
timestamp = {2023-12-14T15:18:49.000+0100},
title = {Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach.},
url = {http://dblp.uni-trier.de/db/books/collections/asds2016.html#RuksenasMC16},
year = 2016
}