On the Complexity of Relational Problems for Finite State Processes (Extended Abstract).
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
Browse the full ICALP paper archive.
Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, Richard Edwin Stearns
Browse the full ICALP paper archive.