01235na  a2200289   4500001001300000005001500013008004100028040001100069041001300080052003200093245017900125300002300304545007200327545006300399545005500462545005800517653006400575700001900639700004800658700001400706700001400720773013700734900002000871900001700891900001700908900002000925KSI00038828120050603144751050517s1999    ulk           000   kor    a0110010 akorbeng01a028.605b한613ㅈㅂc6(2)00a시간 제약을 포함한 워크플로우 모델링 및 검증=xModeling and verification of workflows with time constraints/d정희택,e이도헌,e김문자,e류영철  ap. 261-273;c26 cm  a정희택, 정회원 : 전남대학교 대학원 전산통계학과  a이도헌, 정회원 : 전남대학교 전산학과 교수  a김문자, 정회원 : 한국전자통신연구원  a류영철, 종신회원 : 한국전자통신연구원  a시간 제약a워크플로우aWorkflowsaTime constraints1 a정희택4aut1 a이도헌,g李度憲,d1969-0KAC2018080171 a김문자1 a류영철0 t정보처리논문지.d한국정보처리학회.g제6권 2호(1999년 2월), p. 261-273q6:2<261w(011001)KSE199509081,x1226-919010aJeong, Hee-Taek10aLee, Do-Heon10aKim, Moon-Ja10aLew, Young-Chul