PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Bowman, Howard"

Author of the publication

copydeleteadd this publication to your clipboard
Time Versus Abstraction in Formal Description.

, , , and . FORTE, volume C-22 of IFIP Transactions, page 467-482. North-Holland, (1993)

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. You can also use the button next to the name to display some publications already assigned to the person.

Astrid Howard University of Stuttgart

 

Other publications of authors with the same name

PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic., and . Journal of Applied Non-Classical Logics, 14 (1-2): 105-148 (2004)Analysing neurobiological models using communicating automata., , and . Formal Asp. Comput., 26 (6): 1169-1204 (2014)Composition of LOTOS specifications., , and . PSTV, volume 38 of IFIP Conference Proceedings, page 87-102. Chapman & Hall, (1995)Model checking stochastic automata., , and . ACM Trans. Comput. Log., 4 (4): 452-492 (2003)The Attentional Blink Reveals Serial Working Memory Encoding: Evidence from Virtual and Human Event-related Potentials., , , and . J. Cognitive Neuroscience, 21 (3): 550-566 (2009)Formal description of distributed multimedia systems: an assessment of potential techniques., , , and . Computer Communications, 18 (12): 964-977 (1995)Using epsiloon-greedy reinforcement learning methods to further understand ventromedial prefrontal patients' deficits on the Iowa Gambling Task., and . Neural Networks, 20 (6): 676-689 (2007)Modelling distributed systems using Z., and . SAC, page 147-151. ACM, (1995)Weak Refinement in Z., , , and . ZUM, volume 1212 of Lecture Notes in Computer Science, page 369-388. Springer, (1997)Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 177-192. Springer, (2003)