权威例句
Visibly pushdown languagesVisibly pushdown languagesPushdown Processes: Games and Model CheckingPushdown processes: Games and model checkingModel-Checking Pushdown SystemsWeighted Pushdown Systems and Their Application to Interprocedural Dataflow AnalysisCharacterizations of Pushdown Machines in Terms of Time-Bounded ComputersEfficient Algorithms for Model Checking Pushdown SystemsEfficient Algorithms for Model Checking Pushdown SystemsA Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)