Building Cyclic Schedules for Emergency Department Physicians
- 期刊名称Interfaces
- 作者Ferrand, Yann; Magazine, Michael; Rao, Uday S.; Glass, Todd F.
- 卷第41卷
- 期第6期
- 印刷ISSN0092-2102
- 电子ISSN1526-551X
- 文件大小253.45KB
- 发表时间2011-12
- DOI10.1287/inte.1110.0563
- 页码521-533
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Boolean expression diagramsAndersen, H.R.; Hulgaard, H. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Set constraints with intersectionCharatonik, W.; Podelski, A. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - The "Hardest" natural decidable theoryVorobyov, S. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Discrimination by parallel observersDezani-Ciancaglini, M.; Tiuryn, J.; Urzyczyn, P. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Towards a mathematical operational semanticsTuri, D.; Plotkin, G. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Quantitative analysis and model checkingHuth, M.; Kwiatkowska, M. · 1997
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Automata-driven automated inductionBouhoula, A.; Jouannaud, J.-P. · 1997