Open AccessHeuristic Linear Temporal Logic Pattern Algorithm in Business Process Model
Author(s) -
Kelly Rossa Sungkono,
Ulva Rochmah,
Riyanarto Sarno
Publication year - 2019
Publication title -
international journal of intelligent engineering and systems
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2185-310X
pISSN - 1882-708X
DOI - 10.22266/ijies2019.0831.04
Subject(s) - computer science , heuristic , linear temporal logic , algorithm , process (computing) , temporal logic , mathematical optimization , artificial intelligence , theoretical computer science , mathematics , programming language