Jump to Navigation

Testing temporal logic on infinite Java traces

TitleTesting temporal logic on infinite Java traces
Publication TypeConference Paper
Year of Publication2012
AuthorsAdalid, D., A. Salmeron, M-del-M. Gallardo, and P. Merino
Conference NameCostin Badica, [et. all]; (eds.). Modelling, simulation, verification and validation of enterprise information systems & web intelligence. Proceedings of MSVVEIS/WEBI 2012. June 28th-July 1st, 2012, Wroclaw, Poland
Date Publishednov
ISBN Number978-989-8565-14-3


Main menu 2

Biblio | by Dr. Radut