%0 Conference Paper %1 conf/els/ValaisNV19 %A Valais, Léo %A Newton, Jim E. %A Verna, Didier %B ELS %D 2019 %E Neuss, Nicolas %I ELSAA %K dblp %P 12-19 %T Implementing Baker's SUBTYPEP Decision Procedure. %U http://dblp.uni-trier.de/db/conf/els/els2019.html#ValaisNV19 %@ 978-2-9557474-3-8

@inproceedings{conf/els/ValaisNV19, added-at = {2019-11-13T00:00:00.000+0100}, author = {Valais, Léo and Newton, Jim E. and Verna, Didier}, biburl = {https://www.bibsonomy.org/bibtex/272dad75c8e710d46a63849ffefd38861/dblp}, booktitle = {ELS}, crossref = {conf/els/2019}, editor = {Neuss, Nicolas}, ee = {https://doi.org/10.5281/zenodo.2646982}, interhash = {1ffb4c393f00ce0f26bee6e6540624a3}, intrahash = {72dad75c8e710d46a63849ffefd38861}, isbn = {978-2-9557474-3-8}, keywords = {dblp}, pages = {12-19}, publisher = {ELSAA}, timestamp = {2019-11-14T11:42:00.000+0100}, title = {Implementing Baker's SUBTYPEP Decision Procedure.}, url = {http://dblp.uni-trier.de/db/conf/els/els2019.html#ValaisNV19}, year = 2019 }