Inproceedings,
Lazy Behavioral Subtyping.
J. Dovland, E. Johnsen, O. Owe, and M. Steffen.FM, volume 5014 of Lecture Notes in Computer Science, page 52-67. Springer, (2008)
Meta data
- BibTeX key
- conf/fm/DovlandJOS08
- entry type
- inproceedings
- booktitle
- FM
- year
- 2008
- pages
- 52-67
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 5014
- crossref
- conf/fm/2008
- ee
- https://doi.org/10.1007/978-3-540-68237-0_6
- isbn
- 978-3-540-68235-6
- url
- http://dblp.uni-trier.de/db/conf/fm/fm2008.html#DovlandJOS08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fm/DovlandJOS08
%A Dovland, Johan
%A Johnsen, Einar Broch
%A Owe, Olaf
%A Steffen, Martin
%B FM
%D 2008
%E Cuéllar, Jorge
%E Maibaum, T. S. E.
%E Sere, Kaisa
%I Springer
%K dblp
%P 52-67
%T Lazy Behavioral Subtyping.
%U http://dblp.uni-trier.de/db/conf/fm/fm2008.html#DovlandJOS08
%V 5014
%@ 978-3-540-68235-6
@inproceedings{conf/fm/DovlandJOS08,
added-at = {2018-11-02T00:00:00.000+0100},
author = {Dovland, Johan and Johnsen, Einar Broch and Owe, Olaf and Steffen, Martin},
biburl = {https://www.bibsonomy.org/bibtex/25697fd6b29991e94652d44689d751e05/dblp},
booktitle = {FM},
crossref = {conf/fm/2008},
editor = {Cuéllar, Jorge and Maibaum, T. S. E. and Sere, Kaisa},
ee = {https://doi.org/10.1007/978-3-540-68237-0_6},
interhash = {6719ed37ed07ccfc68361ad1eae35ae7},
intrahash = {5697fd6b29991e94652d44689d751e05},
isbn = {978-3-540-68235-6},
keywords = {dblp},
pages = {52-67},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T16:59:14.000+0200},
title = {Lazy Behavioral Subtyping.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2008.html#DovlandJOS08},
volume = 5014,
year = 2008
}