PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gargantini, Angelo"

Author of the publication

copydeleteadd this publication to your clipboard
Dealing with Zero-Time Transitions in Axiom Systems.

, , and . Inf. Comput., 150 (2): 119-131 (1999)

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.

No persons found for author name Gargantini, Angelo
add a person with the name Gargantini, Angelo
 

Other publications of authors with the same name

Test generation for sequential nets of Abstract State Machines with information passing., and . Sci. Comput. Program., (2014)Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism., , and . ICST Workshops, page 178-187. IEEE Computer Society, (2013)CITLAB: A Laboratory for Combinatorial Interaction Testing., and . ICST, page 559-568. IEEE Computer Society, (2012)An Evaluation of Model Checkers for Specification Based Test Case Generation., and . ICST, page 41-50. IEEE Computer Society, (2009)A model-driven process for engineering a toolset for a formal method., , , and . Softw., Pract. Exper., 41 (2): 155-166 (2011)Generating minimal fault detecting test suites for general Boolean specifications., and . Information & Software Technology, 53 (11): 1263-1273 (2011)A model advisor for NuSMV specifications., , and . ISSE, 7 (2): 97-107 (2011)Scenario-based Validation of Embedded Systems., , , and . FDL, page 191-196. IEEE, (2008)A Theory of Implementation and Refinement in Timed Petri Nets., , and . Theor. Comput. Sci., 202 (1-2): 127-161 (1998)Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children. CoRR, (2011)