Job-Shop Scheduling Using Timed Automata. Abdeddaïm, Y. & Maler, O. In Proceedings of Computer Aided Verification (CAV), pages 478-492, 2001.
Paper bibtex @inproceedings{ dblp3919744,
title = {Job-Shop Scheduling Using Timed Automata},
author = {Yasmina Abdeddaïm and Oded Maler},
author_short = {Abdeddaïm, Y. and Maler, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2001},
key = {dblp3919744},
id = {dblp3919744},
biburl = {http://www.dblp.org/rec/bibtex/conf/cav/AbdeddaimM01},
url = {http://dx.doi.org/10.1007/3-540-44585-4_46},
conference = {CAV},
pages = {478-492},
text = {CAV 2001:478-492},
booktitle = {Proceedings of Computer Aided Verification (CAV)}
}
Downloads: 0
{"_id":"hDKFPjFGtpwEhhTHS","bibbaseid":"abdeddam-maler-jobshopschedulingusingtimedautomata-2001","downloads":0,"creationDate":"2015-07-05T11:05:40.229Z","title":"Job-Shop Scheduling Using Timed Automata","author_short":["Abdeddaïm, Y.","Maler, O."],"year":2001,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/AbdeddaimM01","bibdata":{"title":"Job-Shop Scheduling Using Timed Automata","author":["Yasmina Abdeddaïm","Oded Maler"],"author_short":["Abdeddaïm, Y.","Maler, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2001","key":"dblp3919744","id":"dblp3919744","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/AbdeddaimM01","url":"http://dx.doi.org/10.1007/3-540-44585-4_46","conference":"CAV","pages":"478-492","text":"CAV 2001:478-492","booktitle":"Proceedings of Computer Aided Verification (CAV)","bibtex":"@inproceedings{ dblp3919744,\n title = {Job-Shop Scheduling Using Timed Automata},\n author = {Yasmina Abdeddaïm and Oded Maler},\n author_short = {Abdeddaïm, Y. and Maler, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2001},\n key = {dblp3919744},\n id = {dblp3919744},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/AbdeddaimM01},\n url = {http://dx.doi.org/10.1007/3-540-44585-4_46},\n conference = {CAV},\n pages = {478-492},\n text = {CAV 2001:478-492},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"abdeddam-maler-jobshopschedulingusingtimedautomata-2001","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-44585-4_46"},"downloads":0},"search_terms":["job","shop","scheduling","using","timed","automata","abdeddaïm","maler"],"keywords":[],"authorIDs":[],"dataSources":["6cgTrtTQtCCqbKgpi"]}