Verification by Discrete Simulation of Interlocking Systems. Cappart, Q., Limbrée, C., Schaus, P., & Legay, A. In 29th Annual European Simulation and Modelling Conference (ESM), pages 402-409, 2015. bibtex @inproceedings{cappart_simu,
author={Cappart, Quentin and Limbr\'ee, Christophe and Schaus, Pierre and Legay, Axel},
year={2015},
title={{Verification by Discrete Simulation of Interlocking Systems}},
booktitle={29th Annual European Simulation and Modelling Conference (ESM)},
pages={402-409}
}
Downloads: 0
{"_id":"5TRqqErjwytTB3CNz","bibbaseid":"cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015","author_short":["Cappart, Q.","Limbrée, C.","Schaus, P.","Legay, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cappart"],"firstnames":["Quentin"],"suffixes":[]},{"propositions":[],"lastnames":["Limbrée"],"firstnames":["Christophe"],"suffixes":[]},{"propositions":[],"lastnames":["Schaus"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Legay"],"firstnames":["Axel"],"suffixes":[]}],"year":"2015","title":"Verification by Discrete Simulation of Interlocking Systems","booktitle":"29th Annual European Simulation and Modelling Conference (ESM)","pages":"402-409","bibtex":"@inproceedings{cappart_simu,\n author={Cappart, Quentin and Limbr\\'ee, Christophe and Schaus, Pierre and Legay, Axel},\n year={2015},\n title={{Verification by Discrete Simulation of Interlocking Systems}},\n booktitle={29th Annual European Simulation and Modelling Conference (ESM)},\n pages={402-409}\n}\n\n","author_short":["Cappart, Q.","Limbrée, C.","Schaus, P.","Legay, A."],"key":"cappart_simu","id":"cappart_simu","bibbaseid":"cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://perso.uclouvain.be/quentin.cappart/mybib.bib","dataSources":["cZ3Jr7cyXYZSN5pSb"],"keywords":[],"search_terms":["verification","discrete","simulation","interlocking","systems","cappart","limbrée","schaus","legay"],"title":"Verification by Discrete Simulation of Interlocking Systems","year":2015}