About: TAPAs model checker

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.unifi.it/ http://etapas.sourceforge.net/ http://matrix.iei.pi.cnr.it/projects/JACK/jack3.html http://www.dsi.unifi.it/ https://web.archive.org/web/20100703152905/http:/rap.dsi.unifi.it/tapas/en/index.htm https://doi.org/10.1007%2F978-3-540-89287-8_4
dbo:wikiPageWikiLink	dbr:Calculus_of_communicating_systems dbc:Model_checkers dbr:Communicating_sequential_processes dbr:Pisa dbr:Formal_equivalence_checking dbr:Springer_Science+Business_Media dbr:Bisimulation dbr:PEPA dbr:Temporal_logic dbr:ISTI dbr:Model_checker dbr:Symbolic_model_verification dbr:Consiglio_Nazionale_delle_Ricerche dbr:LNCS dbr:Mu_calculus dbr:List_of_Model_Checking_Tools dbr:Computational_tree_logic dbr:Labelled_transition_system dbr:CTMC
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Refimprove
dct:subject	dbc:Model_checkers
gold:hypernym	dbr:Tool
rdfs:label	TAPAs model checker (en)
owl:sameAs	yago-res:TAPAs model checker freebase:TAPAs model checker wikidata:TAPAs model checker dbpedia-global:TAPAs model checker dbr:TAPAs model checker
prov:wasDerivedFrom	wikipedia-en:TAPAs_model_checker?oldid=1129100403&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:TAPAs_model_checker
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:List_of_model_checking_tools
is foaf:primaryTopic of	wikipedia-en:TAPAs_model_checker

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International