Testing Divergent Transition Systems (Q5217309)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7172774

Language	Label	Description	Also known as
English	Testing Divergent Transition Systems	scientific article; zbMATH DE number 7172774

Statements

scholarly article

0 references

Testing Divergent Transition Systems (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-319-63121-9_17

0 references

0 references

Mariëlle I. A. Stoelinga

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

24 February 2020

0 references

full work available at URL

https://research.utwente.nl/en/publications/testing-divergent-transition-systems(125daebb-d8f7-4104-91de-8099e5b33f74).html

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5217309

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5217309&oldid=31764134"