13 research outputs found
Preparation from mammallian brain and kidney of the enzyme system involved in active transport of Na+ and K+
No full textAutomatic Verification of Real--Timed Systems Using Epsilon
No full textReproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRIC
Relation between the ability of various compounds to block nervous conduction and their penetration into a monomolecular layer of nerve-tissue lipoids
No full text
Automatic Verification of Real-Timed Systems Using EPSILON
Get PDFIn this paper we report on an application and extension of the theory of Timed Modal Specifications (TMS) and its associated verification tool Epsilon. The novel feature with which Epsilon has been extended is the ability to automatically generate diagnostic information in cases of erroneous refinement steps
Investigations on the effect of some local anaesthetics and other amines on the active transport of sodium through the isolated short-circuited frog skin
No full text
