Current studentsExisting staffContact us
 

Checking Safety Properties on-the-fly with the Sweep-Line Method

Simple item page
dc.contributor.authorGallasch, G.E.
dc.contributor.authorBillington, J.
dc.contributor.authorVanit Anunchai, S.
dc.contributor.authorKristensen, L.
dc.date.issued2007
dc.identifier.citationInternational Journal on Software Tools for Technology Transfer, 2007; 9(3-4):371-391
dc.identifier.doi10.1007/s10009-007-0031-4
dc.identifier.issn1433-2779
dc.identifier.issn1433-2787
dc.identifier.urihttps://hdl.handle.net/1959.8/46012
dc.language.isoen
dc.publisherSpringer-Verlag
dc.rightsCopyright 2007 Springer-Verlag
dc.source.urihttps://doi.org/10.1007/s10009-007-0031-4
dc.subjectdatagram congestion control protocol
dc.subjecton-the-fly model checking
dc.subjectsweep-line method
dc.titleChecking Safety Properties on-the-fly with the Sweep-Line Method
dc.typeJournal article
pubs.publication-statusPublished
ror.mmsid9915911430601831

Files

Collections