Inproceedings,
Formalization of Phase Ordering.
T. Cogumbreiro, J. Shirako, and V. Sarkar.PLACES, volume 211 of EPTCS, page 13-24. (2016)
Meta data
- BibTeX key
- journals/corr/CogumbreiroSS16
- entry type
- inproceedings
- booktitle
- PLACES
- year
- 2016
- pages
- 13-24
- series
- EPTCS
- volume
- 211
- crossref
- journals/corr/OrchardY16a
- ee
- http://arxiv.org/abs/1606.05937
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs211.html#CogumbreiroSS16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/CogumbreiroSS16
%A Cogumbreiro, Tiago
%A Shirako, Jun
%A Sarkar, Vivek
%B PLACES
%D 2016
%E Orchard, Dominic A.
%E Yoshida, Nobuko
%K dblp
%P 13-24
%T Formalization of Phase Ordering.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs211.html#CogumbreiroSS16
%V 211
@inproceedings{journals/corr/CogumbreiroSS16,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Cogumbreiro, Tiago and Shirako, Jun and Sarkar, Vivek},
biburl = {https://www.bibsonomy.org/bibtex/2bba05b7eec21bffce5cd8f90bc4aca0d/dblp},
booktitle = {PLACES},
crossref = {journals/corr/OrchardY16a},
editor = {Orchard, Dominic A. and Yoshida, Nobuko},
ee = {http://arxiv.org/abs/1606.05937},
interhash = {6cc87f1d843304c7240463f75d314a48},
intrahash = {bba05b7eec21bffce5cd8f90bc4aca0d},
keywords = {dblp},
pages = {13-24},
series = {EPTCS},
timestamp = {2024-04-10T07:22:24.000+0200},
title = {Formalization of Phase Ordering.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs211.html#CogumbreiroSS16},
volume = 211,
year = 2016
}