Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{severn:LIPIcs:2019:11091, author = {Daniel E. Sever{\'\i}n}, title = {{Formalization of the Domination Chain with Weighted Parameters (Short Paper)}}, booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)}, pages = {36:136:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771221}, ISSN = {18688969}, year = {2019}, volume = {141}, editor = {John Harrison and John O'Leary and Andrew Tolmach}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11091}, URN = {urn:nbn:de:0030drops110919}, doi = {10.4230/LIPIcs.ITP.2019.36}, annote = {Keywords: Domination Chain, Coq, Formalization of Mathematics} }
Keywords:  Domination Chain, Coq, Formalization of Mathematics  
Seminar:  10th International Conference on Interactive Theorem Proving (ITP 2019)  
Issue Date:  2019  
Date of publication:  06.09.2019 