%0 Conference Paper %1 conf/ershov/IliasovB14 %A Iliasov, Alexei %A Bryans, Jeremy W. %B Ershov Memorial Conference %D 2014 %E Voronkov, Andrei %E Virbitskaite, Irina B. %I Springer %K dblp %P 161-176 %T A Proof-Based Method for Modelling Timed Systems. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#IliasovB14 %V 8974 %@ 978-3-662-46822-7

@inproceedings{conf/ershov/IliasovB14, added-at = {2019-03-14T00:00:00.000+0100}, author = {Iliasov, Alexei and Bryans, Jeremy W.}, biburl = {https://www.bibsonomy.org/bibtex/2fb7a4f3412344aff78d72518bfcca70e/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2014}, editor = {Voronkov, Andrei and Virbitskaite, Irina B.}, ee = {https://doi.org/10.1007/978-3-662-46823-4_14}, interhash = {b111037234b8bfd7bff87384651ac4e2}, intrahash = {fb7a4f3412344aff78d72518bfcca70e}, isbn = {978-3-662-46822-7}, keywords = {dblp}, pages = {161-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:40:47.000+0100}, title = {A Proof-Based Method for Modelling Timed Systems.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2014.html#IliasovB14}, volume = 8974, year = 2014 }