( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Grammatical Representation of Visibly Pushdown Languages.

, и . WoLLIC, том 4576 из Lecture Notes in Computer Science, стр. 1-11. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Rasmus Barringer

Howard Nelson

Howard Foster

Howard Li

Howard Smoller

 

Другие публикации лиц с тем же именем

A Semantics Driven Temporal Verification System., и . ESOP, том 300 из Lecture Notes in Computer Science, стр. 21-33. Springer, (1988)Practical CTL* Model Checking: Should SPIN be Extended?, и . Int. J. Softw. Tools Technol. Transf., 2 (4): 350-365 (2000)Efficient CTL* model checking for analysis of rainbow designs., , , , и . CHARME, том 105 из IFIP Conference Proceedings, стр. 128-145. Chapman & Hall, (1997)Modelling Evolvable Systems: A Temporal Logic View., и . We Will Show Them! (1), стр. 195-228. College Publications, (2005)A Graph-Based Approach to Resolution in Temporal Logic., , и . ICTL, том 827 из Lecture Notes in Computer Science, стр. 415-429. Springer, (1994)Forays into Sequential Composition and Concatenation in Eagle., и . RV, том 5289 из Lecture Notes in Computer Science, стр. 69-85. Springer, (2008)Internal versus External DSLs for Trace Analysis - (Extended Abstract)., и . RV, том 7186 из Lecture Notes in Computer Science, стр. 1-3. Springer, (2011)Modal and Temporal Argumentation Networks., и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 1-25. Springer, (2010)Effective State Exploration for Model Checking on a Shared Memory Architecture., и . PDMC@CONCUR, том 68 из Electronic Notes in Theoretical Computer Science, стр. 605-620. Elsevier, (2002)Editorial.. J. Log. Comput., 1 (5): 573-574 (1991)